إطار Zeno

التثبيت

cd ~
git clone https://github.com/Traxes/zeno --recursive
sudo pip3 install termcolor tqdm
git clone https://github.com/Z3Prover/z3 --recursive
cd z3
python3 scripts/mk_make.py --python
cd build
make
sudo make install
cd ~/zeno

الاستخدام

~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py

مثال

لتشغيل جميع الإضافات على target.bin

~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py target.bin

التوثيق

المهام المتبقية

• تحسين الكود

  • إضافة البادئة _ للطرق الداخلية

• النواة

  • التقطيع
  • دعم المعمارية

• التقارير

  • إدراج في نظام الإضافات

• الواجهة الرسومية

• واجهة خارجية في ملفات DLL

• الإضافات

  • تجاوز سعة المخزن المؤقت
  • خارج الحدود
  • تجاوز العدد الصحيح
  • سلسلة التنسيق
  • ذاكرة غير مهيأة
    • تقطيع الرسم البياني!

الإيجابيات الزائفة

• CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
  • إيجابية زائفة على goodG2B

تم إنجازه

• محمل الإضافات

الموارد والمشاريع المشابهة

• https://github.com/cetfor/PaperMachete

تجاوزات المخزن المؤقت: gets <- دائماً char buf[123]; std::cin>>buf