c0de3 Goto Github PK

jackalope

Binary, coverage-guided fuzzer for Windows and macOS

jakstab

The Jakstab static analysis platform for binaries

janala2

a concolic testing engine for Java

jandroid

janus

Automatic Binary Parallelisation

jasmin

java-deserialization-exploit

javassist

Java bytecode engineering toolkit

javaunserializeexploits

jbool_expressions

jbool_expressions is a simple open-source library for creating and manipulating propositional logic expressions in java

jboss-exp

java反序列化漏洞利用－JBOSS(含payload生成的java项目，漏洞利用py脚本，shodan部分目标主机搜索结果)

jcute

Java Concolic Unit Testing Engine

jdart

A dynamic symbolic analysis tool for Java

jemalloc

jigsaw

JIGSAW is a fuzzing-based path constraint solver.

joern

A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

joern-1

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

jpf-symbc

Symbolic PathFinder

jswd

chakra-based windbg javascript extension

jucify

k-miner

K-Miner

kafl

kallsymsprint

kasld

[ KASLD ] Kernel Address Space Layout Derandomization - A collection of various techniques to bypass KASLR and retrieve the Linux kernel base virtual address on x86 / x86_64 architectures as an unprivileged user.

kcon

KCon is a famous Hacker Con powered by Knownsec Team.

kernel-exploits

A bunch of proof-of-concept exploits for the Linux kernel

kernel-exploits-1

kernel-fuzzer-for-xen-project

VMI Kernel Fuzzer for Xen Project - VM forking, VMI & AFL integration demo

kernelforge

A library to develop kernel level Windows payloads for post HVCI era