Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·19h
Alexis King’s Blog
lexi-lambda.github.io·2d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·12h
Tools I use
prepend.com·22h
CodeSOD: Validation Trimmed Away
thedailywtf.com·18h
Making a Language
thunderseethe.dev·2h
To assert() or not to assert()?
ilya-sher.org·2d
Subterms Modulo Theories I
philipzucker.com·3d
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
Loading...Loading more...