LoongWalker's repositories
codyze
Codyze is a static analyzer for Java, C, C++ based on code property graphs
sparse
mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git
symbolic-execution-papers
Recent symbolic execution papers and tools.
cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
OpenStaticAnalyzer
OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
verible
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, and formatter.
verilator
Verilator open-source SystemVerilog simulator and lint system
Awesome-Advanced-Windows-Exploitation-References
List of Awesome Advanced Windows Exploitation References
WindowsExploitationResources
Resources for Windows exploit development
awesome-sca
A curated list of Software Component Analysis (SCA) books, courses - free and paid, videos, tools, and tutorials.
windows-kernel-exploits
windows-kernel-exploits Windows平台提权漏洞集合
VulDB_Spider
vulnerability database spider 爬取NVD、CNVD、CNNVD等漏洞数据库
Hades
Static code auditing system
IntRepair
Prototype of "IntRepair: Informed Repairing of Integer Overflows " TSE 2019
static-analysis
Static analysis tools for all programming languages, build tools, config files and more.
qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Exploits
Windows Exploits
drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
infer
A static analyzer for Java, C, C++, and Objective-C
chopper
KLEE / CSE Project
awesome-windows-exploitation
A curated list of awesome Windows Exploitation resources, and shiny things. Inspired by awesom
HarmonyOS-1
A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。
OpenArkCompiler
This is the OpenArkCompiler mirror repository, keeping up-to-date with the official update.
HarmonyOS
鸿蒙系统资料。Docs about HarmonyOS.
SVF
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
kontest
A fork of KLEE with modifications for concolic testing.