Scaffolding project that uses Tai-e as a dependency.

This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values like user input.

my customerized version of FlowDroid, which is used to control the time spent on path reconstruction ( this phase is such a time killer!) Branch develop is for my own project; Branch main is for creating PR. Now PR is in review. 这是我用于解决Flowdroid的Path Reconstruction部分耗时太久而产生的一个fork仓库，目前已提交PR审核。

"Laboratory for Innovative Software" Course Material

Static analysis tool for format string vulnerability detection

Influence-Based Provenance for Dataflow Applications with Taint Propagation (SoCC 2020)

Dynamic Taint Analysis for Web Storage

Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.

Master Thesis from Paderborn University

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

Policy Enforcement for Taint Droid

Mirror of the project repository for Program Analysis for System Security and Reliability at ETH Zürich for FS2021

Implementation of different forms of static program analysis techniques

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.

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