Revision 442ad0bf91c1da438541d64ec50517135d756ff7 authored by feliam on 27 July 2018, 22:21:36 UTC, committed by GitHub on 27 July 2018, 22:21:36 UTC
* DAO detector + bugfixes * The actual benchmark tests * The actual benchmark tests * CC * Experiment reporting the finding at a JUMPI * Fix taint. Detect returned overflowded data * DAO -> Reentrancy * DAO -> reentrancy, C -> Benchmark * DAO -> reentrancy, C -> Benchmark * Allow function names to have numbers * Fix contract names in benchmark * Fix contract names in benchmark * Move default plugin registration * Better regexp * Fix minimal_bytecode example * Fix Array Slice and test * add tests * correct other bug * implement bytesM * BROKEN partial progress * need bytearray here * rm cmt * add basic tests for bytesM and bytes symbolic * correct bytes symbolic test * Refactor, clean bytesM handling * Add initial symbolic 'bytes' handling * refactor tests * Unify symbolic/concrete bytes handling in bytesM/bytes * Rm import * Rm debug assert * cc * Visitor/migrate/simplify fixes to make the seth refactor pass * Fix concolic? * Fix concolic? * CC * bytesM fix * Fix address and caller concretization on symb tx * Fix account policy refactor * CC
1 parent 0b60f9a
| File | Mode | Size |
|---|---|---|
| .github | ||
| docs | ||
| examples | ||
| manticore | ||
| scripts | ||
| tests | ||
| .codeclimate.yml | -rw-r--r-- | 1.0 KB |
| .gitignore | -rw-r--r-- | 1.1 KB |
| .travis.yml | -rw-r--r-- | 822 bytes |
| CHANGELOG.md | -rw-r--r-- | 8.2 KB |
| CONTRIBUTING.md | -rw-r--r-- | 2.2 KB |
| Dockerfile | -rw-r--r-- | 536 bytes |
| LICENSE | -rw-r--r-- | 11.1 KB |
| README.md | -rw-r--r-- | 5.7 KB |
| setup.cfg | -rw-r--r-- | 49 bytes |
| setup.py | -rw-r--r-- | 1.3 KB |
| tox.ini | -rw-r--r-- | 444 bytes |
Computing file changes ...
