Skip to content
#

concolic-execution

Here are 36 public repositories matching this topic...

SEMA

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.

  • Updated Sep 4, 2024
  • Python

Improve this page

Add a description, image, and links to the concolic-execution topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the concolic-execution topic, visit your repo's landing page and select "manage topics."

Learn more