trailofbits / manticore / 203073761
86%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 9
Files 81
Run time 31min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
203073761

Pull #1775

github-actions

GitHub 
<a href="https://github.com/trailofbits/manticore/commit/<a class=hub.com/trailofbits/manticore/commit/<a class="double-link" href="https://git"><a class=hub.com/trailofbits/manticore/commit/<a class="double-link" href="https://git"><a class=hub.com/trailofbits/manticore/commit/1cf606179020e07652d0de41c0d1d6de1d4bd4ca">1cf606179<a href="https://github.com/trailofbits/manticore/commit/1cf606179020e07652d0de41c0d1d6de1d4bd4ca">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/trailofbits/manticore/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/trailofbits/manticore/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/trailofbits/manticore/commit/1cf606179020e07652d0de41c0d1d6de1d4bd4ca&quot;&gt;1cf606179&lt;/a&gt;&lt;a href=&quot;https://github.com/trailofbits/manticore/commit/1cf606179020e07652d0de41c0d1d6de1d4bd4ca&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/trailofbits/manticore/commit/1cf606179020e07652d0de41c0d1d6de&lt;/a&gt;1d4bd4ca&quot;>&quot;&gt;Merge &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/trailofbits/manticore/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/trailofbits/manticore/commit/<a class="double-link" href="https://github.com/trailofbits/manticore/commit/05629b8b4058ffc294fddbe1297f1cef857bc9d9">05629b8b4</a><a href="https://github.com/trailofbits/manticore/commit/1cf606179020e07652d0de41c0d1d6de1d4bd4ca">&amp;quot;&amp;gt;05629b8b4&amp;lt;/a&amp;gt;&amp;quot;&amp;gt;05629b8b4&amp;lt;/a&amp;gt;&amp;lt;a href=&amp;quot;https://github.com/trailofbits/manticore/commit/1cf606179020e07652d0de41c0d1d6de1d4bd&lt;/a&gt;4ca&quot;&gt; into &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/trailofbits/manticore/commit/<a class="double-link" href="https://github.com/trailofbits/manticore/commit/f20a01143">f20a01143">f20a01143</a>
Pull Request #1775: State Introspection API

358 of 404 new or added lines in 27 files covered. (88.61%)

285 existing lines in 5 files now uncovered.

19873 of 23108 relevant lines covered (86.0%)

2.81 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
85.0
 8.89% manticore/core/state.py
1
84.19
 13.17% manticore/core/workspace.py
1
92.19
 77.79% manticore/native/models.py
1
76.09
 76.09% manticore/native/plugins.py
1
0.0
 0.0% manticore/utils/command_line.py
2
91.31
 1.87% manticore/core/manticore.py
2
80.29
 0.77% manticore/ethereum/manticore.py
2
66.19
 -0.72% manticore/ethereum/plugins.py
3
72.32
 41.68% manticore/platforms/linux.py
4
88.57
 manticore/utils/enums.py
6
92.82
 44.34% manticore/native/memory.py
7
94.12
 51.15% manticore/core/plugin.py
7
81.19
 2.87% manticore/utils/helpers.py
8
86.64
 -0.06% manticore/platforms/evm.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
91.31
 1.87% manticore/core/manticore.py
1
92.82
 44.34% manticore/native/memory.py
5
86.64
 -0.06% manticore/platforms/evm.py
45
84.65
 46.23% manticore/native/cpu/abstractcpu.py
233
72.32
 41.68% manticore/platforms/linux.py
Jobs
ID Job ID Ran Files Coverage
1 203073761.1 61
39.47
2 203073761.2 66
33.1
3 203073761.3 66
63.34
4 203073761.4 57
48.36
5 203073761.5 66
17.6
6 203073761.6 66
24.53
7 203073761.7 66
35.75
8 203073761.8 66
25.29
9 203073761.9 66
24.5
Source Files on build 203073761