issues
search
model-checking
/
cbmc-viewer
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Advance viewer to version 2.9
#72
markrtuttle
closed
2 years ago
0
Update documentation and release page
#71
markrtuttle
closed
2 years ago
0
Fix interpretation of basic block coverage descriptions
#70
markrtuttle
closed
2 years ago
0
Restrict coverage to reachable functions
#69
markrtuttle
opened
2 years ago
1
Regression testing
#68
markrtuttle
closed
2 years ago
1
Add compare-trace command
#67
markrtuttle
closed
2 years ago
0
Makefile contains wrong version reference for 2.8
#66
jeanparker
closed
2 years ago
3
Set jinja to autoescape html.
#65
markrtuttle
closed
2 years ago
0
Refactor result parsing
#64
markrtuttle
closed
2 years ago
1
Produce stub and missing function reports
#63
markrtuttle
opened
2 years ago
2
Use pathlib Path for portability
#62
markrtuttle
opened
2 years ago
0
Allow --property flag to be omitted
#61
markrtuttle
opened
2 years ago
1
Build with viewer regressions ninja
#60
markrtuttle
closed
2 years ago
0
Construct reports without coverage checking or property checking
#59
markrtuttle
closed
2 years ago
0
Ctag support
#58
markrtuttle
closed
2 years ago
1
HTTP regression tests
#57
markrtuttle
closed
2 years ago
0
Add proof summary scripts (work in progress)
#56
markrtuttle
closed
2 years ago
0
Tox regression testing (simplified implementation)
#55
markrtuttle
closed
2 years ago
1
Tox regression testing (simpler implementation)
#54
markrtuttle
closed
2 years ago
1
Advance version to 2.8
#53
markrtuttle
closed
2 years ago
0
Contract modifications
#52
markrtuttle
closed
2 years ago
0
Advance version to 2.7
#51
markrtuttle
closed
2 years ago
0
Allow markup functions to return None when text to markup is None
#50
markrtuttle
closed
2 years ago
0
Advance version to 2.6.
#49
markrtuttle
closed
3 years ago
0
Simplify symbol table parsing to work for both C and Rust
#48
markrtuttle
closed
3 years ago
0
Don't link error traces to library source files
#47
markrtuttle
closed
3 years ago
0
Fix destination path to be relative to current directory.
#46
vecchiot-aws
closed
3 years ago
2
Issues with absolute paths in srcloc.
#45
vecchiot-aws
closed
2 years ago
3
Fold away sequences of steps that all point to the same source location.
#44
vecchiot-aws
opened
3 years ago
0
Uniformly escape text used in html markup
#43
markrtuttle
opened
3 years ago
0
Source language flag
#42
vecchiot-aws
closed
3 years ago
2
Escape function name to allow < and >
#41
vecchiot-aws
closed
3 years ago
3
Updated coverage parsing to allow functions with colons in name.
#40
vecchiot-aws
closed
3 years ago
0
Viewer fails when function names contain colons
#39
vecchiot-aws
closed
2 years ago
1
Additional dependencies required on Ubuntu: wheel, pip
#38
tautschnig
closed
2 years ago
1
Distinguish between coverage of source code and proof code
#37
feliperodri
opened
3 years ago
0
Restrict coverage data to coverage of reachable functions
#36
markrtuttle
closed
2 years ago
4
Run pylint
#35
markrtuttle
closed
3 years ago
0
Fix version number (v2.5)
#34
feliperodri
closed
3 years ago
0
Extend CBMC Viewer to work with RBMC
#33
markrtuttle
closed
3 years ago
1
Visual Studio Code variable support
#32
markrtuttle
closed
3 years ago
0
Extend CBMC Viewer to work with RBMC
#31
markrtuttle
closed
3 years ago
2
Publish pip package
#30
ligurio
closed
3 years ago
2
Correct the setting of environment variables in GitHub Actions.
#29
markrtuttle
closed
3 years ago
0
Correct the parsing of source locations in the textual output of cbmc.
#28
markrtuttle
closed
3 years ago
0
Report generation crashes in validation with humanized errors
#27
adpaco-aws
closed
3 years ago
2
Fix property sorting key
#26
markrtuttle
closed
3 years ago
0
Read symbol table with latin1 character encoding.
#25
markrtuttle
closed
3 years ago
0
Skip loop heads and strip warning prefixes
#24
markrtuttle
closed
3 years ago
0
Get AttributeError when running report for aws_hash_table_remove
#23
feliperodri
closed
3 years ago
4
Previous
Next