Pinned Repositories
--SECII
2021-Software-System-Design
2021年软件系统设计
analyzer
Static analysis framework for C
android-build-lessons
angelix
Semantic program repair system for C programs
AWVS-13-SCAN-PLUS
This is a companion software based on the Acunetix Web Vulnerability Scanner 12、13、14 (AWVS 12、AWVS 13、AWVS 14) scanning engine.
bootstrap
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
citi-cup-backend
douyinapp
MJWYYSY
mengjianwei12345's Repositories
mengjianwei12345/analyzer
Static analysis framework for C
mengjianwei12345/citi-cup-backend
mengjianwei12345/compiler-and-arch
A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture
mengjianwei12345/conflict-static-analysis
mengjianwei12345/cppcheck
static analysis of C/C++ code
mengjianwei12345/DATA
mengjianwei12345/easytrader
提供同花顺客户端/国金/华泰客户端/雪球的基金、股票自动程序化交易以及自动打新，支持跟踪 joinquant /ricequant 模拟交易 和 实盘雪球组合, 量化交易组件
mengjianwei12345/edb-debugger
edb is a cross-platform AArch32/x86/x86-64 debugger.
mengjianwei12345/FlowDroid
FlowDroid Static Data Flow Tracker
mengjianwei12345/huaqi-backend
mengjianwei12345/Java-oriented-analysis-and-understanding-tool
Java-oriented-analysis-and-understanding-tool
mengjianwei12345/javaparser
Java 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13
mengjianwei12345/jayhorn
Static checker for Java
mengjianwei12345/kernel-sanitizers
Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
mengjianwei12345/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mengjianwei12345/nju-software-analysis-homework
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference
mengjianwei12345/sctbench
SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
mengjianwei12345/section12
mengjianwei12345/software_develop_test
mengjianwei12345/Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
mengjianwei12345/SVF
Static Value-Flow Analysis Framework for Source Code
mengjianwei12345/svf_study
mengjianwei12345/svfa-scala
An implementation of sparse-value flow analysis on top of soot (using Scala)
mengjianwei12345/SwitchHosts
Switch hosts quickly!
mengjianwei12345/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
mengjianwei12345/Teaching-Software-Analysis
Teaching and Learning Software Analysis via SVF
mengjianwei12345/Test-Suite
PTABen: Micro-benchmark Suite for Pointer Analysis
mengjianwei12345/text2vec
text2vec, text to vector. 文本向量表征工具，把文本转化为向量矩阵，实现了Word2Vec、RankBM25、Sentence-BERT、CoSENT等文本表征、文本相似度计算模型，开箱即用。
mengjianwei12345/UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
mengjianwei12345/Wox
Launcher for Windows, an alternative to Alfred and Launchy.