program-analysis topic

Java Code Instrumenter and Execution Tracer

spideruci

Standalone static version of Triton's x86/x64 translator

Colton1skees

AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)

soarsmu

Corax for Java: A general static analysis framework for java code checking.

Feysh-Group

PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection

packgenome

Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.

unpackdev

Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.

nus-apr

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

agra-uni-bremen

Tool for detecting violations of ordering axioms in STL comparators

yugr

A containerized Model Context Protocol (MCP) server providing static code analysis using Joern's Code Property Graph (CPG) with support for Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jim...

Lekssays