ज़ीनो फ्रेमवर्क

स्थापना

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