SolidityDesignPatternAnalyzer
1.0.0
ยูทิลิตี้สำหรับการรับรู้รูปแบบการออกแบบบน blockchain ผ่านการวิเคราะห์แบบคงที่ของรหัส
readme นี้มีอยู่ในภาษาต่อไปนี้:
อิตาลี·ภาษาอังกฤษ
หลังจากปริญญาโครงการได้รับความหลากหลายและการปรับปรุงดังนั้นสิ่งที่อธิบายไว้ในการทำวิทยานิพนธ์อย่างละเอียดอาจไม่น่าเชื่อถือมากขึ้น
ในการดูโครงการในรูปแบบที่อธิบายไว้ในการประณีตของวิทยานิพนธ์และวิทยานิพนธ์เองอ้างถึงสาขา frozen คลิกที่นี่
ตัววิเคราะห์รูปแบบการออกแบบความแข็งแกร่งเป็นแอพพลิเคชั่นซอฟต์แวร์ที่พัฒนาขึ้นสำหรับวิทยานิพนธ์ระดับปริญญาของฉันสำหรับ CDL สามปีในวิทยาการคอมพิวเตอร์ที่มหาวิทยาลัยคาตาเนีย
แอปพลิเคชันซอฟต์แวร์และสามารถดำเนินการต่อไปนี้:
(กลับไปด้านบน)
(กลับไปด้านบน)
ก่อนที่จะใช้แอปพลิเคชันจำเป็นต้องติดตั้งการเสพติด
ในการติดตั้งพนักงานคุณสามารถใช้แพ็คเกจ Python Installer ที่เรียกว่า PIP :
pip install -r requirements.txtpython3 -m venv /path/to/new/virtual/environment
source /path/to/new/virtual/environment/bin/activate
pip install -r requirements.txtในการใช้เครื่องวิเคราะห์จำเป็นต้องจัดเตรียมชุดพารามิเตอร์ที่ระบุไว้ที่นี่:
| พารามิเตอร์ | คำอธิบาย |
|---|---|
-h, --help | พารามิเตอร์เสริมที่หากมีให้จะทำคู่มือเกี่ยวกับการใช้งานในเทอร์มินัล |
-a, --action | พารามิเตอร์บังคับที่ยอมรับเฉพาะ analyze และ describe ค่าขึ้นอยู่กับการดำเนินการที่คุณต้องการดำเนินการ |
-t, --target | พารามิเตอร์บังคับที่แสดงถึงเส้นทางสัมบูรณ์หรือแบบสัมพัทธ์ของไฟล์หรือโฟลเดอร์ที่มีซอร์สโค้ดของแข็ง หากมีการให้ไดเรกทอรี modalità batch จะดำเนินการซึ่งจะบันทึกผลลัพธ์ทั้งหมดที่ได้รับในไฟล์เดียว |
-d, --descriptor | พารามิเตอร์เสริมสำหรับ analyze การดำเนินการที่แสดงถึงพา ธ สัมบูรณ์หรือสัมพัทธ์ของไฟล์หรือโฟลเดอร์ที่มี Design Pattern Descriptorหากคุณละเว้นเส้นทางที่กำหนดไว้ล่วงหน้ามันจะถูกใช้ |
-v, --verbose | พารามิเตอร์เสริมที่หากให้มาสามารถพิมพ์การดีบักเข้าสู่ระบบในเทอร์มินัลโดยปกติจะไม่แสดง |
-ai, --allow-incompatible | พารามิเตอร์เสริมที่กำหนดการควบคุมความเข้ากันได้ของเวอร์ชันของ Soliditch ที่ใช้ในไฟล์ที่ให้ไว้ ยอมรับเป็นค่า: ask skip alwaysค่าเริ่มต้น: ask ขอการยืนยัน |
-p, --plot | พารามิเตอร์เสริมที่กำหนดการแสดงผลของกราฟสรุป ยอมรับเป็นค่า: ask skip alwaysค่าเริ่มต้น: ask ขอการยืนยัน |
-pr, --print-result | พารามิเตอร์เสริมที่หากมีให้จะสรุปผลลัพธ์ที่ได้จากการวิเคราะห์การพิมพ์บนเทอร์มินัล |
-wr, --write-result | พารามิเตอร์เสริมที่กำหนดการช่วยเหลือบนดิสก์ของผลลัพธ์ที่ได้จากการวิเคราะห์ไฟล์แต่ละไฟล์ ยอมรับเป็นค่า: ask skip alwaysค่าเริ่มต้น: ask ขอการยืนยัน |
-fr, --format-result | พารามิเตอร์เสริมที่กำหนดรูปแบบที่ข้อมูลที่ได้รับจะถูกบันทึกไว้ ยอมรับเป็นค่า: json , csvค่าเริ่มต้น: json |
--debug-analysis | พารามิเตอร์เสริมที่หากมีให้จะทำการวิเคราะห์การดีบักใน AST |
ตัวอย่างเช่นต้องการวิเคราะห์การทำสัญญาอัจฉริยะเพื่อระบุการใช้รูปแบบการเป็นเจ้าของและจำเป็นต้องดำเนินการคำสั่ง:
python analyzer.py -a analyze -t ./source_code.sol -d ./Ownership_descriptor.json --print-result --write-result always --plot always(กลับไปด้านบน)
ซอฟต์แวร์นี้เปิดตัวภายใต้ใบอนุญาต MIT ดู LICENSE สำหรับข้อมูลเพิ่มเติม
(กลับไปด้านบน)
(กลับไปด้านบน)
