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 static analysis framework for Python

Offline-first, multi-language SAST with semantic data-flow analysis, deterministic security rules, SARIF/PDF reporting, Docker isolation, and optional local Ollama enrichment.

Abstract Interpretation static analyzer using the numeric Interval Domain to prove buffer bounds safety and absence of division-by-zero errors.

Abstract Interpretation static analyzer using the numeric Interval Domain to prove buffer bounds safety and absence of division-by-zero errors.

A general framework for optimizing DNN dataflow on systolic array

Static analyzer for C#/.NET that finds lifetime and resource bugs C# cannot express: WPF/event leaks, missing Dispose, DI lifetime mismatch, pooled-buffer misuse. SARIF output, GitHub Action.

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.

Automated security risk analysis of source code using static analysis, CVE/CWE knowledge and dynamic analysis.

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.

An experimental, language-neutral interchange specification for portable semantic models of code.

Controlled interoperability demos showing how CSMI semantic packs improve static-analysis flow results.