-
Tai-e-assignments Public
Forked from pascal-lab/Tai-e-assignmentsTai-e assignments for static program analysis
Java GNU Lesser General Public License v3.0 UpdatedJan 16, 2026 -
-
-
SaTC Public
Forked from NSSL-SJTU/SaTCA 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 vulnera…
Python UpdatedJul 11, 2022 -
-
-
-
-
-
-
-
Arduboy Public
Forked from Ar-zz-duboy/ArduboyCore library for the Arduboy.
C++ Other UpdatedAug 23, 2020 -
LinuxFlaw Public
Forked from mudongliang/LinuxFlawThis repo records all the vulnerabilities of linux software I have reproduced in my local workspace
C UpdatedApr 17, 2019
{{ message }}