dataflow-analysis

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Automating Data processing workflow to serve users in a simple smart interface

A general framework for optimizing DNN dataflow on systolic array

Computational Modeling Libraries

manim-dataflow-analysis is a library that improves manim so that it can generate dataflow analysis animations.

TaintTrace 给自主 Agent 装上动态污点追踪：当一次 Prompt Injection 落地，它沿工具调用图标记每一个被投毒输入影响过的下游动作，秒级算出爆炸半径并列出需要隔离的操作。

A fast, opinionated linter and auto-fixer for Jupyter notebook hidden-state and execution-order bugs.

MiniC front end and CFG-based static analyzer with semantic analysis and return-path checking.

This repository contains the code to generate animations for the course INFOM227.

Stop watching your agent. A local-first guardrail that detects dataflow, not vocabulary — with a benchmark that measures how often it cries wolf.