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