Projects

Projects

Updated 6 months ago

symex-vp • Science 65%

A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

concolic-execution concolic-testing klee risc-v riscv riscv32 symbolic-execution systemc

Updated 5 months ago

https://github.com/csvl/sema • Science 26%

SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.

angr binary-analysis classification concolic-execution ctf cybersecurity detection linux malware malware-analysis malware-detection malware-research python reverse reverse-engineering sema static-analysis symbolic symbolic-execution windows

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

symex-vp • Science 65%

https://github.com/csvl/sema • Science 26%