Pinned Repositories
2048
N-Tuple Networks for the Game 2048
857final
mining contract logs for attacks
a3e
Automatic Android App Explorer
android-a2p
Android API to Permission Mapping Extractor
BlueBorneVulnScanner
A brief analysis of the BlueBorne Vulnerability Scanner app by Armis
EthIR
A framework for high-level Analysis of Ethereum Bytecode
project
BovInspector is an automatic buffer overflow inspection and repair tool for C programs. It's built on Ubuntu, relies on LLVM, KLEE and Fortify. BovInspector consists of four main components: warning reachability analysis, guided symbolic execution, buffer overflow validation, and targeted automatic repair. After BovInspector’s execution, it outputs validated buffer overflow report and repaired source code.
StaDynA
StaDynA: A tool to address the problem of dynamic code updates in the security analysis of Android applications
STAnalyzer
Static Analysis framework for analyzing SmartApps on Samsung SmartThings platforms written in Groovy
terry2012's Repositories
terry2012/aflnet
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
terry2012/anonboot
Proof-of-concept implementation of AnonBoot, our medium to securely bootstrap anonymity services
terry2012/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
terry2012/ATFuzzer
"Opening Pandora's Box through ATFuzzer: Dynamic Analysis of AT Interface for Android Smartphones" ACSAC 2019
terry2012/autosub
[NO LONGER MAINTAINED] Command-line utility for auto-generating subtitles for any video file
terry2012/codepropertygraph
Semantic Code Property Graph: specification, query language, and utilities
terry2012/CommonUtilLibrary
快速开发工具类收集,史上最全的开发工具类,欢迎Follow、Fork、Star
terry2012/CRYPTOREX
Large-scale Analysis of Cryptographic Misuse in IoT Devices
terry2012/cv
A LaTeX template for my academic CV (Curriculum Vitae)
terry2012/cv-1
Dr. Geoff Boeing's academic CV in latex
terry2012/cv-2
My academic CV powered by LaTeX
terry2012/fengrenjie
这个repo是为了锤北大垃圾教授——冯仁杰
terry2012/GDA-android-reversing-Tool
GDA is a new decompiler written entirely in c++, so it does not rely on the Java platform, which is succinct, portable and fast, and supports APK, DEX, ODEX, oat.
terry2012/hal-fuzz
Source code of HAL-fuzz
terry2012/ios-app-to-ir
translate ios app binary to IR based on ios-analysis-dagger
terry2012/joern-1
Open-source code analysis platform for C/C++ based on code property graphs
terry2012/karonte
Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
terry2012/muse
terry2012/MuseMinimals
This repository contains all the minimal apks with source codes used in the study of Muse Framework
terry2012/network-emulator
LD_PRELOAD POSIX network API emulator
terry2012/observer
terry2012/phasar
A LLVM-based static analysis framework.
terry2012/ql
The libraries and queries that power CodeQL and LGTM.com
terry2012/razor
terry2012/scat
SCAT: Signaling Collection and Analysis Tool
terry2012/SecDATAVIEW
A Secure Version of DATAVIEW using SGX techniques.
terry2012/SiOS
terry2012/sqlmap
Automatic SQL injection and database takeover tool
terry2012/stellar-core
stellar-core is the backbone of the Stellar network. It maintains a local copy of the ledger, communicating and staying in sync with other instances of stellar-core on the network. Optionally, stellar-core can store historical records of the ledger and participate in consensus.
terry2012/SymTCP
Automatic Discrepancy Discovery for DPI Elusion