#memory-safety

ASan Explorer

ramoseng

Explore AddressSanitizer (and other *Sanitizer) reports in VS Code: load from terminal, clipboard, editor, or log file; browse stack sections; jump to source at file:line:column. All processing is local.

Programming Languages Debuggers #terminal

AutoSOUP

ampaschal

Generate AutoSOUP unit proofs from VS Code.

Testing AI #c