suliuzh's repositories
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
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
transformers
🤗Transformers: State-of-the-art Natural Language Processing for Pytorch and TensorFlow 2.0.