trailofbits
/
manticore
/
2227038574
86%
master: 86%
master: 86%
|
Ran
|
Jobs
9
|
Files
83
|
Run time
36min
|
Badge
Embed ▾
README BADGES
|
push
github
GitHub
7 of 7 new or added lines in 1 file covered. (100.0%)
1456 existing lines in 25 files now uncovered.20769 of 23969 relevant lines covered (86.65%)
2.96 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
100.0 |
manticore/core/worker.py | |
| 2 |
100.0 |
manticore/ethereum/verifier.py | |
| 2 |
100.0 |
manticore/utils/fallback_emulator.py | |
| 4 |
100.0 |
manticore/ethereum/detectors.py | |
| 5 |
100.0 |
manticore/core/workspace.py | |
| 5 |
100.0 |
manticore/native/manticore.py | |
| 5 |
100.0 |
manticore/wasm/manticore.py | |
| 7 |
100.0 |
manticore/core/plugin.py | |
| 7 |
100.0 |
manticore/__main__.py | |
| 7 |
100.0 |
manticore/platforms/linux_syscall_stubs.py | |
| 12 |
100.0 |
manticore/native/plugins.py | |
| 19 |
100.0 |
examples/script/concolic.py | |
| 22 |
100.0 |
manticore/core/smtlib/visitors.py | |
| 31 |
100.0 |
manticore/native/memory.py | |
| 43 |
100.0 |
manticore/core/manticore.py | |
| 43 |
100.0 |
manticore/native/cpu/abstractcpu.py | |
| 44 |
100.0 |
manticore/core/state.py | |
| 44 |
100.0 |
manticore/native/cpu/arm.py | |
| 58 |
100.0 |
manticore/native/cpu/aarch64.py | |
| 63 |
100.0 |
manticore/core/smtlib/expression.py | |
| 65 |
100.0 |
manticore/core/smtlib/solver.py | |
| 134 |
100.0 |
manticore/ethereum/manticore.py | |
| 140 |
100.0 |
manticore/native/cpu/x86.py | |
| 214 |
100.0 |
manticore/platforms/evm.py | |
| 478 |
100.0 |
manticore/platforms/linux.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 2227038574.1 | 0 |
40.5 |
||
| 2 | 2227038574.2 | 0 |
48.64 |
||
| 3 | 2227038574.3 | 0 |
24.76 |
||
| 4 | 2227038574.4 | 0 |
41.59 |
||
| 5 | 2227038574.5 | 0 |
17.85 |
||
| 6 | 2227038574.6 | 0 |
24.35 |
||
| 7 | 2227038574.7 | 0 |
36.23 |
||
| 8 | 2227038574.8 | 0 |
63.57 |
||
| 9 | 2227038574.9 | 0 |
25.53 |
