Tmotfl's repositories
Arduboy
Core library for the Arduboy.
Language:C++NOASSERTION000
Language:CodeQLMIT000
collAFL
afl
Language:C000
LinuxFlaw
This repo records all the vulnerabilities of linux software I have reproduced in my local workspace
Language:C000
Note-CMU15-213
The note and lab of CMU15-213
Language:Makefile000
Note-CPlusPlus
The note and the lab
Language:C++000
Note-How_Networks_Work
the note of How_Networks_Work
000
xxy1126.github.io
Hello
Language:HTML000
SaTC
A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnerabilities.
000
Tai-e-assignments
Tai-e assignments for static program analysis
LGPL-3.0000