dynamic-taint-analysis

Here are 3 public repositories matching this topic...

codersguild / Software-Analysis-PAVT

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

analysis llvm verification sudoku-solver fuzzing dafny boogie hacktoberfest cvc4 hoare-logic cbmc z3-smt-solver z3py hacktoberfest2021 dynamic-taint-analysis uclid5 uclid

Updated Apr 9, 2023
Boogie

iosifache / DynamicTaintAnalysisEssay

Star

Essay about dynamic taint analysis, made as a project for the course "Security of Informational Systems" from Faculty of Automatic Control and Computers, University POLITEHNICA of Bucharest 📜

dynamic-taint-analysis dynamic-taint-analysis-essay

Updated Jan 27, 2022
TeX

paetscan / libdft64

Star

x86-64 dynamic taint tracking with Intel Pin 3.23

binary-instrumentation taint-tracking dynamic-taint-analysis

Updated Feb 20, 2023
C++

Improve this page

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

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly