issues
search
static-analysis-engineering
/
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
MIT License
27
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Mismatch between line numbers and sourcelines content in JSON when using preprocessed code
#52
waskyo
opened
8 hours ago
0
CIL: incorporate change to enum item
#51
sipma
opened
1 day ago
0
JSON: add program context to proof obligations
#50
sipma
closed
4 weeks ago
0
Add more program context to json output
#49
waskyo
opened
1 month ago
2
CMD: add command to list arguments to calls
#48
sipma
closed
1 month ago
0
JSON: add function api data to json results
#47
sipma
closed
1 month ago
0
Invariants
#46
sipma
closed
1 month ago
0
Investigation
#45
sipma
closed
2 months ago
0
Include supporting proof obligations in the json output
#44
waskyo
closed
2 months ago
1
APP: handle static initializers with local var refs
#43
sipma
closed
6 months ago
0
Project fails to parse when `compile_commands.json` refers to files in a parent directory
#42
Databean
opened
6 months ago
0
Remove duplicate subparser definition
#41
Databean
closed
6 months ago
1
CFILE: add c-file run command
#40
sipma
closed
6 months ago
0
Add GitHub workflow to publish sphinx documentation
#39
Databean
closed
6 months ago
1
Declarations
#38
sipma
closed
6 months ago
0
AttributeError: 'CGlobalDeclarations' object has no attribute 'capp'
#37
restarre
opened
1 year ago
0
Skip tests that failed with goblint-cil upgrade
#36
Databean
closed
1 year ago
0
Normalize file paths when comparing for equality
#35
Databean
closed
2 years ago
0
chc_analyze_file.py: Unable to find function with global vid 111
#34
bergkvist
opened
3 years ago
0
More type annotations
#33
Databean
closed
3 years ago
1
More type annotations.
#32
Databean
closed
3 years ago
1
Type annotations for chc.app.CFunctionBody
#31
Databean
closed
3 years ago
1
Import renaming and typechecking
#30
Databean
closed
3 years ago
1
Replace the constructor dictionaries in CDictionary with a registry
#29
Databean
closed
3 years ago
1
More type annotations
#28
Databean
closed
3 years ago
1
More type annotations
#27
Databean
closed
3 years ago
1
More type annotations
#26
Databean
closed
3 years ago
1
More type annotations
#25
Databean
closed
3 years ago
1
More type annotations
#24
Databean
closed
3 years ago
1
Add more type annotations
#23
Databean
closed
3 years ago
1
More python type annotations
#22
Databean
closed
3 years ago
1
Auto-format code and enforce pycodestyle compliance.
#21
Databean
closed
3 years ago
1
Add type annotations to chc/api/ApiParameter.py
#20
Databean
closed
3 years ago
1
Add a mypy config with stricter validations.
#19
Databean
closed
3 years ago
1
Add mypy validation for cmdline
#18
Databean
closed
3 years ago
1
Add some type annotations to chc/app
#17
Databean
closed
3 years ago
1
Add type annotations to chc/util/UnionFind.py
#16
Databean
closed
3 years ago
1
Add type annotations to StringIndexedTable.py
#15
Databean
closed
3 years ago
1
Add type annotations to chc/source/CSrcFile.py
#14
Databean
closed
3 years ago
1
Mypy annotations for chc.api.ApiAssumption and chc/util/xmlutil.py
#13
Databean
closed
3 years ago
0
Add missing annotations to IndexedTable.py
#12
Databean
closed
4 years ago
1
Add type annotations to chc/util/IndexedTable.py
#11
Databean
closed
4 years ago
1
Finish type annotations on chc/util/fileutil.py
#10
Databean
closed
4 years ago
1
Add mypy type annotations to exceptions and analysis results in chc/util/fileutil.py
#9
Databean
closed
4 years ago
1
Add mypy validation to directories besides cmdline
#8
Databean
closed
4 years ago
1
Summarytests2
#7
sipma
closed
4 years ago
2
Chcdev
#6
sipma
closed
4 years ago
1
Fix mypy errors with invalid lambda syntax
#5
Databean
closed
4 years ago
1
Rename c-file to c_file, c-project to c_project
#4
Databean
closed
4 years ago
1
Fix some mypy errors
#3
Databean
closed
4 years ago
1
Next