Kingloko

Kingloko's Stars

• Hannibal046/Awesome-LLM

  Awesome-LLM: a curated list of Large Language Model

  20.9k1.7k

• Limmen/awesome-rl-for-cybersecurity

  A curated list of resources dedicated to reinforcement learning applied to cyber security.

  798117

• sem2vec/sem2vec-BERT

  Code for embedding symbolic constraints

  Language:Python92

• sem2vec/sem2vec-SE

  Code for tracelet-level symbolic execution

  Language:Python161

• SystemSecurityStorm/Awesome-Binary-Similarity

  An awesome & curated list of binary code similarity papers

  53477

• kudu-dynamics/blaze-platform

  A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

  Language:Haskell465

• smartnic/z3validation

  An approach to utilizing z3 validator

  Language:C++2

• StarCrossPortal/ghidracraft

  Ghidracraft is part of the bincraft project collections, a forked version of Ghidra which mixes in our flavor. Checkout ghidracraft-book for more!

  Language:Java8610

• avatartwo/avatar2

  Python core of avatar²

  Language:Python537103

• nomi-sec/PoC-in-GitHub

  📡 PoC auto collect from GitHub. ⚠️ Be careful Malware.

  6.7k1.2k

• abuseofnotation/category-theory-illustrated

  A book about category theory

  Language:HTML40343

• 0xricksanchez/paper_collection

  Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read

  Language:Python1.3k124

• racket/rhombus

  Rhombus programming language

  Language:Racket36167

• whoismissing/peleus

  intro to ghidra scripting guide

  4

• dockcross/dockcross

  Cross compiling toolchains in Docker images

  Language:Shell3.4k412

• hugsy/gdb-static

  Public repository of statically compiled GDB and GDBServer

  34277

• tbarnetlamb/hyphen

  hyphen - access Haskell modules from Python

  Language:Haskell959

• borzacchiello/seninja

  symbolic execution plugin for binary ninja

  Language:Python30524

• gadiluna/SAFE

  SAFE: Self-Attentive Function Embeddings for binary similarity

  Language:Python17540

• lucamassarelli/yarasafe

  SAFE embeddings to match functions in yara

  Language:C10014

• lamdu/lamdu

  lamdu - towards the next generation IDE

  Language:Haskell1.9k71

• justinethier/cyclone

  :cyclone: A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.

  Language:Scheme83545

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.3k338

• Lancern/asm2vec

  An unofficial implementation of asm2vec as a standalone python package

  Language:Python16138

• justfoxing/ghidra_bridge

  Python 3 bridge to Ghidra's Python scripting

  Language:Python34424

• atxsinn3r/VulnCases

  Vulnerability examples.

  Language:C++40286

• cool-RR/PySnooper

  Never use print for debugging again

  Language:Python16.4k954

• Cisco-Talos/pyrebox

  Python scriptable Reverse Engineering Sandbox, a Virtual Machine instrumentation and inspection framework based on QEMU

  Language:C1.7k249

• google/clusterfuzz

  Scalable fuzzing infrastructure.

  Language:Python5.3k565

• vorpaljs/bash-parser

  Parses bash into an AST

  Language:JavaScript20535