mirror of
https://github.com/trailofbits/manticore.git
synced 2026-10-12 02:23:44 +00:00
defunct
e18016aa4a
* 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/refactor symbolic address/caller concretization * Fix caller concretization * Fix expression visiting * Fix account policy refactor * Accept numbers in function names abitypes * Simplify installation instructions to recommend install manticore only for the current user * Run some tests in parallel (#970) This PR splits the current test runner into three environments: 1. Linux examples 2. Ethereum tests 3. Remaining tests to faster complete each testing run. Ethereum tests include a number of integration tests that execute scripts to completion, which takes a while. We run them concurrently with other tests to save on execution time. The split is done by naming Ethereum tests differently (`eth_*.py` vs `test_*.py`) and updating what pattern unittest's `discover` uses. This change also updates the installation script and chooses to forego installing Keystone for EVM tests as it takes a while, and it adds a `setup.cfg` config file so that Nose finds the eth tests as well by default. * Be less verbose when testing * Fix slicing wrongly reference to proxyArray. Fix #912 * Only export human/external tx in the testcase (#972) * Make ManticoreEVM.make_symbolic_value size adjustable (#974) * Make size adjustable * Default to 256 * Dev evm yolo fix gas (#975) * Fix gas stipend on CALL and check dao * Add order dependence 1 * missing files * 985 * formatting fixes; codeclimate * review changes
66 lines
1.0 KiB
YAML
66 lines
1.0 KiB
YAML
version: "2"
|
|
checks:
|
|
argument-count:
|
|
enabled: true
|
|
config:
|
|
threshold: 12
|
|
complex-logic:
|
|
enabled: true
|
|
config:
|
|
threshold: 4
|
|
file-lines:
|
|
enabled: true
|
|
config:
|
|
threshold: 1000
|
|
method-complexity:
|
|
enabled: true
|
|
config:
|
|
threshold: 40
|
|
method-count:
|
|
enabled: true
|
|
config:
|
|
threshold: 35
|
|
method-lines:
|
|
enabled: true
|
|
config:
|
|
threshold: 53
|
|
nested-control-flow:
|
|
enabled: true
|
|
config:
|
|
threshold: 10
|
|
return-statements:
|
|
enabled: true
|
|
config:
|
|
threshold: 5
|
|
similar-code:
|
|
enabled: true
|
|
config:
|
|
threshold: 100
|
|
identical-code:
|
|
enabled: true
|
|
config:
|
|
threshold: 65
|
|
plugins:
|
|
pep8:
|
|
enabled: true
|
|
checks:
|
|
E712:
|
|
enabled: false
|
|
sonar-python:
|
|
enabled: false
|
|
config:
|
|
minimum_severity: critical
|
|
radon:
|
|
enabled: false
|
|
config:
|
|
python_version: 3
|
|
threshold: "D"
|
|
exclude_patterns:
|
|
- "docs/"
|
|
- "examples/"
|
|
- "scripts/"
|
|
- "tests/"
|
|
- "mcore_*/"
|
|
- ".tox/"
|
|
|