Revision 4b79711b92e9959f2fda4da548c09d6298de0e89 authored by feliam on 12 December 2017, 17:56:39 UTC, committed by GitHub on 12 December 2017, 17:56:39 UTC
* Fixes symbolic reentrancy example * Fix coverage Issue# 527 * Remove debug unused code * New solidity biased API and reporting * Updated examples to new api WIP * simple_mapping FIXED. new api * Simple transaction example added. msg.value can be symbolic now * Reentrancy symbolic now updated to new API + bugfixes * Doc and cleanups in evm assembler * EVMInstruction -> Instruction * cleanups * typo * deepcopy in Constant * Better EVM-asm api and doc * some docs * More evm asm docs * Initial seth in place refactor * Fix import * * typo * newline between text and param * similar phrasing to all the other flags * typo * typo * fix function name in comment * sphinx newline * documentation fixes * documentation fixes * refactors * EVMAssembler to EVMAsm * Fix evm @hook signature * EVMAsm * WIP seth doc * WIP move seth * seth moved to manticore module * Fixed DUP and typo * Slightly better evm reporting * review * review * Removed unfinished refactor * Various refactors. Auxiliar for calculating % coverage * Change report in examples * Detailed transactions and reporting accessible to the user2 * Fix on Expression Array * Some documentation * Get full ABI from solc compiler * evm/examples -> bugfixes * Clarify try/except blocks * Code review * Code review * Code review * Code review * Code review * Initial detector plugin. integer overflow and unitialized mem * Better metadata handling and new events for detectors * detectors wip * Better name for internal findings context * Explicit detector register * review
1 parent df9af1f
File | Mode | Size |
---|---|---|
.github | ||
docs | ||
examples | ||
manticore | ||
scripts | ||
tests | ||
.gitignore | -rw-r--r-- | 1.1 KB |
.travis.yml | -rw-r--r-- | 544 bytes |
CHANGELOG.md | -rw-r--r-- | 3.4 KB |
CONTRIBUTING.md | -rw-r--r-- | 2.2 KB |
Dockerfile | -rw-r--r-- | 341 bytes |
LICENSE | -rw-r--r-- | 11.1 KB |
README.md | -rw-r--r-- | 4.8 KB |
setup.py | -rw-r--r-- | 861 bytes |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...