zeno

KO | EN

gitlite — search

#php #java #python #javascript #ruby #search #arduino #react #c-plus-plus #docker #django #game

★ 39 Open GitHub ↗

Automatic Vulnerability Discovery

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Zeno Framework

# Installation
```
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
```

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

# Example
For running all plugins on target.bin
```
~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py target.bin
```

# Documentation

# TODO

- Beauty Code
    - Prefix internal Methods with _

- Core
    - Slicing
    - Arch Support
    
- Reporter
    - include into Plugin System

- GUI

- Extern Interface in DLLs

- Plugins
    - BufferOverflow
    - Out of Bounds
    - IntegerOverflow
    - Format String
    - Uninitialized Memory
        - Graph Slicing!
        
# False Positive
- CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
    - False positive on goodG2B

# DONE

- Plugin loader

# Resources & Similar Projects

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

Buffer Overflows:
gets <- always
char buf[123]; std::cin>>buf

zeno

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README