loongwalker Goto Github PK

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.

chopper

KLEE / CSE Project

chromefuzzer

fuzz

codyze

Codyze is a static analyzer for Java, C, C++ based on code property graphs

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.

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

drb_fortran

DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools

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.

exploits

Windows Exploits

formal-verification-vlsi

formal verification tools in VLSI industry

giri

Dynamic Program Slicing in LLVM Compiler

hades

Static code auditing system

harmonyos

鸿蒙系统资料。Docs about HarmonyOS.

harmonyos-1

A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。

icsa-dswp

An implementation of Decoupled Software Pipelining

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

infer

A static analyzer for Java, C, C++, and Objective-C

intrepair

Prototype of "IntRepair: Informed Repairing of Integer Overflows " TSE 2019

java-capture

klee_concolic

A modified version of Klee that is able to do concolic tracing.

kontest

A fork of KLEE with modifications for concolic testing.

learngit

llvmslicer

Static Slicer for LLVM

map2check

Memory Management Test Cases Generation of C Programs

mesapy

A Fast and Safe Python based on PyPy