Pinned Repositories
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
CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.
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
libehp
fork of https://git.zephyr-software.com/opensrc/libehp
aeflores's Repositories
aeflores/CoFloCo
CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.
aeflores/libehp
fork of https://git.zephyr-software.com/opensrc/libehp
aeflores/aeflores.github.io
My personal web
aeflores/angr
A powerful and user-friendly binary analysis platform!
aeflores/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.
aeflores/clue-common
aeflores/CoFloCo_ml
aeflores/ddisasm
A fast and accurate disassembler
aeflores/disasm-eval-disasms
The extractors and capnp encoders that extract and output disassemblers' results into a capnp file, formatted using pangineDSM-import/capnp-rst
aeflores/duet
Duet: static analysis for unbounded concurrency
aeflores/easyinterface
A web frontend for the ABS toolchain
aeflores/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
aeflores/ghidra
Ghidra is a software reverse engineering (SRE) framework
aeflores/icra
ICRA: a static analyzer based on interprocedural compositional recurrence analysis
aeflores/KaprekarsConstant
aeflores/LIEF
LIEF - Library to Instrument Executable Formats
aeflores/packages-plunit
The SWI-Prolog Unit Testing library
aeflores/quadcopter
aeflores/Quadrotor
aeflores/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.
aeflores/souffle-lang.github.io
Soufflé
aeflores/sympy
A computer algebra system written in pure Python