aeflores

CoFloCo

CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.

libehp

fork of https://git.zephyr-software.com/opensrc/libehp

aeflores.github.io

My personal web

angr

A powerful and user-friendly binary analysis platform!

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

clue-common

CoFloCo_ml

ddisasm

A fast and accurate disassembler

disasm-eval-disasms

The extractors and capnp encoders that extract and output disassemblers' results into a capnp file, formatted using pangineDSM-import/capnp-rst

duet

Duet: static analysis for unbounded concurrency

easyinterface

A web frontend for the ABS toolchain

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

ghidra

Ghidra is a software reverse engineering (SRE) framework

icra

ICRA: a static analyzer based on interprocedural compositional recurrence analysis

KaprekarsConstant

LIEF

LIEF - Library to Instrument Executable Formats

packages-plunit

The SWI-Prolog Unit Testing library

quadcopter

Quadrotor

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

souffle-lang.github.io

Soufflé

sympy

A computer algebra system written in pure Python