"Laboratory for Innovative Software" Course Material
-
Updated
Apr 27, 2023 - OCaml
"Laboratory for Innovative Software" Course Material
Repository containing the didactic material and three projects of Prof. Gian-Luigi Ferrari and Prof.ssa Chiara Bodei for the exam of Language Based Technology for Security of the Cybersecurity LM-66 Faculty 2020/2021 (University of Pisa).
Influence-Based Provenance for Dataflow Applications with Taint Propagation (SoCC 2020)
Master thesis written in parallel to the development of WebTaint.
Implementation of different forms of static program analysis techniques
Mirror of the project repository for Program Analysis for System Security and Reliability at ETH Zürich for FS2021
Project "Foxhound" fork with playwright code patch for usage as a engine in Playwright code
Taint analyzer for TypeScript using compiler API
Identify fields and their hierarchy of programs's input by Dynamic Data Flow Tracking 使用动态污点分析方法还原二进制程序的具体输入中的字段及层次结构
Evaluation on GPT Agent "Data Leakage Detector"
Dynamic Taint Analysis for Web Storage
Stainless is a taint analysis library for Rust
An attempt at implementing Haskell's SecLib in Rust
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.
This is the paper https://ieeexplore.ieee.org/abstract/document/8472790
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."