Topic: taint-analysis Goto Github

👇 Here are 80 public repositories matching this topic...

agustingianni / instrumentation
taint-analysis,Assorted pintools
User: agustingianni
instrumentation pintool pin dynamic binary taint-analysis taint coverage code-coverage binary-analysis

airbus-seclab / bincat
taint-analysis,Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Organization: airbus-seclab
ida-plugin taint-analysis reverse-engineering disassembly

akwick / gotcha
taint-analysis, Go Taint CHeck Analyser
User: akwick
golang static-analysis taint-analysis static-code-analysis dataflow gotcha

andreafioraldi / taint-with-frida
taint-analysis,just an experiment
User: andreafioraldi
taint analysis taint-analysis dbi instrumentation frida

andreanaspi / whiterabbittracker
taint-analysis,WhiteRabbitTracker: Analyzing malware evasions with information flow tracking
User: andreanaspi
security malwareanalysis dynamic-analysis intel-pin taint-analysis taint-tracking taint libdft

angorafuzzer / angora
taint-analysis,Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Organization: angorafuzzer
fuzzing security fuzzer afl symbolic-execution taint-analysis data-flow-analysis

angorafuzzer / libdft64
taint-analysis,libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)
Organization: angorafuzzer
security taint-analysis fuzzing dynamic-analysis taint libdft taint-tracking angora

aronszanto / wasm-taint-tracking
taint-analysis,JavaScript virtual machine for WebAssembly and Taint Tracking security tool
User: aronszanto
webassembly virtual-machine javascript taint-analysis security

binaryanalysisplatform / bap
taint-analysis,Binary Analysis Platform
Organization: binaryanalysisplatform
binary-analysis reverse-engineering program-analysis static-analysis dynamic-analysis program-verification instruction-semantics taint-analysis disassembler lifter

brainsmoke / minemu
taint-analysis,Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
User: brainsmoke
Home Page: https://minemu.org/
security data-flow-tracker taint-analysis jit-compiler mitigation dynamic-analysis x86

bytecodedl / bytecodedl
taint-analysis,A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Organization: bytecodedl
static-analysis security-tools sast points-to-analysis taint-analysis

cokebeer / goot
taint-analysis,a dataflow analysis framework implemented in Go, like soot
User: cokebeer
analysis-framework go static-analysis taint-analysis taint-tracking vulnerability-detection

colton1skees / winttd
taint-analysis,Reverse engineered API for Microsoft's Time Travel Debugger
User: colton1skees
dynamic-analysis binary-instrumentation taint-analysis reverse-engineering binary-analysis program-analysis

daubli / iast-vms
taint-analysis,A prototype of an Interactive Application Security Testing System
User: daubli
devsecops iast security-testing taint-analysis taint-tracking

decaf-project / decaf
taint-analysis,DECAF (short for Dynamic Executable Code Analysis Framework) is a binary analysis platform based on QEMU. This is also the home of the DroidScope dynamic Android malware analysis platform. DroidScope is now an extension to DECAF.
Organization: decaf-project
binary-analysis taint-analysis

decaf-project / droidscope
taint-analysis,A dynamic analysis platform for Android
Organization: decaf-project
android dynamic-analysis taint-analysis

dhavalkapil / stack-guard
taint-analysis,A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain
User: dhavalkapil
stack llvm taint-analysis clang

dynamic-rabbits / dynamic-rabbits
taint-analysis,
Organization: dynamic-rabbits
taint-analysis binary-analysis dynamorio dynamic-rabbits

dynamic-rabbits / taint-evaluator
taint-analysis,A suite of experiments for evaluating open-source binary taint trackers.
Organization: dynamic-rabbits
taint-analysis binary-analysis evaluation-framework benchmarks taint-tracking

enzet / program-model
taint-analysis,Formal model of program execution, symbolic execution, and taint tracking
User: enzet
latex paper symbolic-execution dynamic-symbolic-execution concolic-execution taint-analysis graph-drawing

escse / protocoltaint
taint-analysis,Protocol Bytes Boundary by Taint Analysis
User: escse
pin protocol taint-analysis

facebook / pyre-check
taint-analysis,Performant type-checking for python.
Organization: facebook
Home Page: https://pyre-check.org/
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis

fdu-sec / nestfuzz
taint-analysis,A structure-aware grey box fuzzer based on modeling the input processing logic.
User: fdu-sec
structure-aware-fuzzing taint-analysis fuzzing

feysh-group / corax-community
taint-analysis,Corax for Java: A general static analysis framework for java code checking.
Organization: feysh-group
abstract-interpretation code-analysis cwe flowdroid java owasp program-analysis sarif sast security

find-sec-bugs / find-sec-bugs
taint-analysis,The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Organization: find-sec-bugs
Home Page: https://find-sec-bugs.github.io/
findbugs java security-audit owasp taint-analysis code-analysis security bytecode cwe static-analysis

glacierw / mba
taint-analysis,Malware Behavior Analyzer
User: glacierw
malware qemu sandbox virtual-machine-introspection forensics taint-analysis program-analysis dynamic-binary-analysis

invizory / taintflow
taint-analysis,TaintFlow, a framework for JavaScript dynamic information flow analysis.
User: invizory
Home Page: https://taintflow.org
babel-plugin data-flow dynamic-analysis instrumentation javascript taint-analysis typescript

jetbrains-research / cofra
taint-analysis,A CFL-r-based static analyser
Organization: jetbrains-research
resharper analysers interprocedural static-code-analysis taint-analysis cfl-r

jjanczur / saluki
taint-analysis,Research on Saluki - software for finding taint style vulnerabilities in a binary code
User: jjanczur
saluki taint-analysis saluki-architecture dynamic-analysis taint-style-vulnerabilities

jonathansalwan / tigress_protection
taint-analysis,Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
User: jonathansalwan
Home Page: http://tigress.cs.arizona.edu/challenges.html
deobfuscation llvm reverse-engineering solution-tigress-challenge symbolic-execution taint-analysis tigress tigress-protections triton

jonathansalwan / triton
taint-analysis,Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
User: jonathansalwan
Home Page: https://triton-library.github.io
binary-analysis binary-translation deobfuscation dynamic-analysis emulator instruction-semantics lifter program-analysis reverse-engineering symbolic-execution taint-analysis

metagon / ithildin
taint-analysis,Semantic analyzer of EVM bytecode based on Mythril
User: metagon
smart-contracts ethereum mythril symbolic-execution evm-bytecode taint-analysis

mimicji / flowmatrix
taint-analysis,FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
User: mimicji
dataflow-analysis program-analysis security-tools taint-analysis taint-tracking usenix-security-2022 binary-analysis

mnavaki / faros
taint-analysis,FAROS: Illuminating In-Memory Injection Attacks via Provenance-based Whole System Dynamic Information Flow Tracking
User: mnavaki
taint-analysis reverse-engineering provenance-analysis panda information-flow-tracking in-memory-injection-attacks

mnavaki / piitracker
taint-analysis,PIITracker: Automatic Tracking of Personally Identifiable Information in Windows
User: mnavaki
personally-identifiable-information taint-analysis reverse-engineering privacy information-flow-tracking panda

nuprl / augur
taint-analysis,Performant taint analysis for Node.js
Organization: nuprl
nodejs javascript graaljs taint-analysis nodeprof

osuseclab / taintmini
taint-analysis,Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
Organization: osuseclab
mini-programs taint-analysis empirical-study privacy-leakage security

pascal-lab / tai-e
taint-analysis,An easy-to-learn/use static analysis framework for Java
Organization: pascal-lab
Home Page: https://tai-e.pascal-lab.net/docs/index.html
java static-analysis security taint-analysis call-graph

pigrecos / triton4delphi
taint-analysis,The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi
User: pigrecos
binary-analysis binary-translation delphi instruction-semantics reverse-engineering symbolic-execution taint-analysis

python-security / pyt
taint-analysis,A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Organization: python-security
pyt control-flow-graph static-analysis python python3 security static-code-analysis program-analysis fixed-point fixed-point-analysis

sourcecode-ai / aura
taint-analysis,Python source code auditing and static analysis on a large scale
Organization: sourcecode-ai
static-analysis python security-audit taint-analysis

svf-tools / teaching-software-analysis
taint-analysis,Teaching and Learning Software Analysis via SVF
User: svf-tools
software-analysis static-analysis information-flow taint-analysis course points-to-analysis

tai-e / cve-2021-44228
taint-analysis,Utilize Tai-e to identify the Log4shell (a.k.a. CVE-2021-44228) Vulnerability
Organization: tai-e
java log4shell security taint-analysis

teambi0s / secretary
taint-analysis,The Reverse Engineering Assistant of your dreams
Organization: teambi0s
Home Page: https://blog.bi0s.in
reverse-engineering re taint-analysis

tl455047 / dtaint
taint-analysis,Dtaint: taint analysis based on DFSan and llvm instrumentation
User: tl455047
dataflowsanitizer instrumentation llvm-pass taint-analysis

trailofbits / polytracker
taint-analysis,An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Organization: trailofbits
llvm instrumentation taint-analysis taint-tracking dataflow-analysis

vanhauser-thc / dyntainttracer
taint-analysis,a taint tracer based on DynamoRIO, currently ARM only
User: vanhauser-thc
taint-analysis taint-tracking tainting taint dynamorio dynamorio-client reverse-engineering arm

vimeo / psalm
taint-analysis,A static analysis tool for finding errors in PHP applications
Organization: vimeo
Home Page: https://psalm.dev
static-analysis php type-inference security-analysis taint-analysis hacktoberfest

wikimedia / mediawiki-tools-phan-securitycheckplugin
taint-analysis,Mirror of https://gerrit.wikimedia.org/g/mediawiki/tools/phan/SecurityCheckPlugin See https://www.mediawiki.org/wiki/Developer_access for contributing
Organization: wikimedia
phan security-audit static-analysis taint-analysis

wmkhoo / taintgrind
taint-analysis,A taint-tracking plugin for the Valgrind memory checking tool
User: wmkhoo
valgrind c taint-analysis