#

dataflow-analysis

Here are 3 public repositories matching this topic...

shba24 / BinClass

Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.

static-analysis symbolic-execution malware-analysis binary-analysis dataflow-analysis

Updated Aug 4, 2024
C

jubitaneja / souper-cgo20-artifact

"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

docker-image static-analysis verification dataflow z3 dfa precision llvm-ir z3-smt-solver dataflow-analysis llvm-compiler souper spec2017 soundness

Updated Jan 8, 2020
C

fuzzuf / polytracker

Ricerca's PolyTracker (Forked from https://github.com/trailofbits/polytracker )

taint-analysis dataflow-analysis libdft taint-tracking polytracker

Updated Sep 15, 2023
C

Improve this page

Add a description, image, and links to the dataflow-analysis 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 dataflow-analysis topic, visit your repo's landing page and select "manage topics."