彳 亍's repositories
ScyllaHide-IDA7.5
ScyllaHide for IDA7.5; ScyllaHide IDA7.5; It is a really niccccccce anti-anti-debug tool
libc-anyenv
一个快速搭建任何版本环境的工具、使用chroot具备环境隔离、ida自动加载DWARF、被调试程序输入输出重定向等功能
FlowDroid-Sparse
Sparse Analysis Optimization Of Low Code Intrusion for FlowDroid. 加速分析和减少内存占用
TriggerBug
本科毕设. Fast-Symbolic-Emulation-Engine. 因受够了 angr 诞生的项目，当年帮我solve了很多ctf题目嘻嘻，不过符号执行部分很少维护了，后面可能会用来做一些程序分析，反混淆也是不错. ( 暖心tips: 设置private再public会丢失star喔, 可惜我那为数不多的30几个star ... )
FridaContainer
FridaContainer 整合了网上流行的和自己编写的常用的 frida 脚本，为逆向工作提效之用。 frida 脚本模块化，Java & Jni Trace。
KernelRootfs
Kernel pwnd
key-awosome
KeY Theorem Prover for Deductive Java Verification
BenchmarkJava
OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.
find-sec-bugs
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
injectory
command-line interface dll injector
jpf-symbc
Symbolic PathFinder
pcollections
A Persistent Java Collections Library
rdma-core
RDMA core userspace libraries and daemons
Some-Papers-About-Fuzzing
There are some papers about fuzzing. I record them by Xmind. Welcome to contact to me.
strongR-frida-android
An anti detection version frida-server for android.
UTBotJava
Tool that generates unit test by Java source code, trying to reach all branches and maximize code coverage
vmpattack
A VMP to VTIL lifter.