dynamic-taint-analysis

There are 3 repositories under dynamic-taint-analysis topic.

  • codersguild/Software-Analysis-PAVT

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

    Language:Boogie37606

  • iosifache/DynamicTaintAnalysisEssay

    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 📜

    Language:TeX220

  • paetscan/libdft64

    x86-64 dynamic taint tracking with Intel Pin 3.23

    Language:C++0000