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/TripleDoggy
基于clang static analyzer的源码漏洞检测插件
LoongWalker/Map2Check
Memory Management Test Cases Generation of C Programs
LoongWalker/smack
SMACK Software Verifier and Verification Toolchain
LoongWalker/Tigress_protection
Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
LoongWalker/awesome-open-hardware-verification
A List of Free and Open Source Hardware Verification Tools and Frameworks
LoongWalker/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
LoongWalker/dg
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
LoongWalker/xklee
improve klee with concolic file system environment model
LoongWalker/giri
Dynamic Program Slicing in LLVM Compiler
LoongWalker/icsa-dswp
An implementation of Decoupled Software Pipelining
LoongWalker/pdgpdgp
Datalog implementations of dependency/slicing analyses on LLVM IR
LoongWalker/SameTypeClangPlugin
自定义检查规范的 Clang 插件
LoongWalker/klee_concolic
A modified version of Klee that is able to do concolic tracing.
LoongWalker/dy-copeca
Dy-COPECA (Dynamic COverage PErcentage CAlculator) is a test case adequacy checker to measure Modified Condition / Decision Coverage (MC/DC) criterion. It is highly based on the test cases generated from KLEE and TRACER-X tools. To run Dy-COPECA, users must have test cases and a C program. It produces MC/DC Extended truth tables for all predicates and test cases. Also, it reports total number of independently affected conditions and total number of simple conditions present in C progam with a socre in percentage.
LoongWalker/taintchecker
Clang static checker that carries out tainting analysis.
LoongWalker/formal-verification-vlsi
formal verification tools in VLSI industry
LoongWalker/CONBOL
CONBOL (CONcrete + symBOLic) is concolic testing tool for C/C++ to generate new concrete inputs (test cases) automatically with the aim of maximizing code coverage and to find bugs in large size industrial embedded software.
LoongWalker/TaintAll
TaintAll, a taint analysis and concolic execution tool
LoongWalker/tis-interpreter
An interpreter for finding subtle bugs in programs written in standard C
LoongWalker/StaticTaintAnalysis
面向软件安全的污点数据检测系统
LoongWalker/LLVMSlicer
Static Slicer for LLVM
LoongWalker/ChromeFuzzer
fuzz
LoongWalker/android_s2e
Run android with S2E
LoongWalker/mywritings
LoongWalker/neongoby
NeonGoby alias analysis checker