suliuzh Goto Github PK

adiff

Tool for differentially testing soundness and precision of program analyzers

dataflow-pass

A LLVM Pass with runtime dataflow sanitization

dockerizeme

Automatically generate environment configurations as Dockerfiles

llvm-dataflow-analysis

machinelearninglab

metrics-1

software metrics practice

njusoftwareanalysisassignment

The assignment for Software Analysis taught by Yue LI and Tian Tan in NJU 2020, the online videos https://space.bilibili.com/2919428

pyan

pyan is a Python module that performs static analysis of Python code to determine a call dependency graph between functions and methods. This is different from running the code and seeing which functions are called and how often; there are various tools that will generate a call graph in that way, usually using debugger or profiling trace hooks - for example: https://pycallgraph.readthedocs.org/ This code was originally written by Edmund Horner, and then modified by Juha Jeronen. See README for the original blog posts and links to their repositories.

python-github3

Python wrapper for GitHub API v3

record-replay

LLVM instrumentation pass and Scheduler for recording the execution of multithreaded programs and replaying them under a given thread interleaving.

softwareanalysis

软件分析与测试作业

soot

Soot - A Java optimization framework

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

transformers

🤗Transformers: State-of-the-art Natural Language Processing for Pytorch and TensorFlow 2.0.

urwid

Console user interface library for Python (official repo)