issues
search
kestreltechnology
/
ktadvance
KT Advance Memory Safety Analyzer for C
6
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chc_parse_file: add support for specifying compiler/cpu architecture
#16
jdahlin
closed
2 years ago
0
Juliet contracts XML syntax: missing '>' symbol
#15
compartia
closed
6 years ago
1
get_file_length
#14
beefstew
opened
6 years ago
0
Parse problem
#13
beefstew
opened
6 years ago
1
GXREFS header
#12
ghost
opened
6 years ago
0
analyze failure (cfile XML problem?)
#11
beefstew
opened
6 years ago
6
Analyze error
#10
beefstew
closed
6 years ago
1
CFunctionPPO.id <-> PPOType.index correspondence
#9
compartia
opened
6 years ago
0
Additional Source and Semantics Files
#8
mmtc-gh
closed
6 years ago
0
Added a script to export project findings to SCARF format.
#7
jschroeder-avi
closed
6 years ago
3
Feature/scarf exporter
#6
jschroeder-avi
closed
6 years ago
1
Multi-file application chc_report_violations.py: no attribute 'functioniter'
#5
beefstew
closed
6 years ago
1
Multi-file application chc_report_open_ppos.py: no attribute 'getviolations'
#4
beefstew
closed
6 years ago
1
User manual updated script names, references
#3
ghost
closed
6 years ago
0
README updates
#2
ghost
closed
6 years ago
0
add ignore for Mac .DS_Store files
#1
beefstew
closed
6 years ago
0