Scaffolding project that uses Tai-e as a dependency.
-
Updated
Nov 30, 2023 - Java
Scaffolding project that uses Tai-e as a dependency.
"Laboratory for Innovative Software" Course Material
Influence-Based Provenance for Dataflow Applications with Taint Propagation (SoCC 2020)
Dynamic Taint Analysis for Web Storage
SQL Injection Analyzer is a Roslyn-based static source code analyzer which focuses on finding non-parametric queries in C# source code. This repository is my Bachelor's thesis.
Master thesis written in parallel to the development of WebTaint.
This is the paper https://ieeexplore.ieee.org/abstract/document/8472790
Mirror of the project repository for Program Analysis for System Security and Reliability at ETH Zürich for FS2021
Go implementation of a Bitcoin forensic analysis tool that enable you to explore the Bitcoin blockchain and analyze the transactions with a set of heuristics.
Implementation of different forms of static program analysis techniques
A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)
Project "Foxhound" fork with playwright code patch for usage as a engine in Playwright code
Titian: Data Provenance Support in Spark (VLDB 2016) / Adding Data Provenance Support to Apache Spark (VLDB Journal)
Taint analyzer for TypeScript using compiler API
Ricerca's PolyTracker (Forked from https://github.com/trailofbits/polytracker )
Presentation given as a partial fulfillment towards CSE 711: Malware Detection for Android: Static and Dynamic Analysis by Prof. Lucasz Ziarek. Analysed and presented 'TaintDroid'- Information Flow Tracking System for Realtime Privacy Monitoring.
Add a description, image, and links to the taint-analysis topic page so that developers can more easily learn about it.
To associate your repository with the taint-analysis topic, visit your repo's landing page and select "manage topics."