1
0
Fork
You've already forked csk
0
No description
  • C 93.5%
  • Shell 3.9%
  • Meson 2.6%
2025年12月23日 21:48:57 -05:00
src Port to new tcstd 2025年12月23日 21:48:57 -05:00
test Get basic double-free detection working 2025年07月11日 17:20:13 -07:00
.gitignore Port to new tcstd 2025年12月23日 21:48:57 -05:00
design.md Add design doc 2025年12月08日 20:24:23 -08:00
LICENSE Add basic framework for parser/analyzer (largely pulled from tttt) 2025年04月30日 01:34:39 -07:00
meson.build Port to new tcstd 2025年12月23日 21:48:57 -05:00
README.md Add readme 2025年04月30日 01:43:24 -07:00
run.sh Add basic framework for parser/analyzer (largely pulled from tttt) 2025年04月30日 01:34:39 -07:00
setup.sh Port to new tcstd 2025年12月23日 21:48:57 -05:00

C Safety Kit

Testbed for experimenting with C static analysis. Not currently useful.