shankarapailoor

shankarapailoor's Stars

• dvyukov/go-fuzz

  Randomized testing for Go

  Language:Go4.8k85172276

• lifting-bits/mcsema

  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

  Language:C++2.6k114439343

• david942j/seccomp-tools

  Provide powerful tools for seccomp analysis

  Language:Ruby976162269

• sslab-gatech/qsym

  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

  Language:C++6292685134

• ww9210/Linux_kernel_exploits

  Repo for FUZE project. I will also publish some Linux kernel LPE exploits for various real world kernel vulnerabilities here. the samples are uploaded for education purposes for red and blue teams.

  Language:C491446111

• mchalupa/dg

  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

  Language:C++48220299135

• Dongdongshe/neuzz

  neural network assisted fuzzer

  Language:C3952120106

• thestinger/playpen

  A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubblewrap if you need more functionality

  Language:C29022022

• seahorn/clam

  Static Analyzer for LLVM bitcode based on Abstract Interpretation

  Language:C274137137

• nezha-dt/nezha

  Differential fuzzing for the masses!

  Language:C++14912425

• eth-sri/ELINA

  ELINA: ETH LIbrary for Numerical Analysis

  Language:C++129146454

• vtjeng/MIPVerify.jl

  Evaluating Robustness of Neural Networks with Mixed Integer Programming

  Language:Julia11343031

• analgesicproductions/Even-The-Ocean-Open-Source

  99%-Open Source code of Even the Ocean, a 2016 PC game.

  Language:Haxe1065310

• guykatzz/ReluplexCav2017

  Language:C10111649

• shankarapailoor/moonshine

  Language:Go956625

• Veridise/Picus

  Automated verification of uniqueness property for ZKP circuits

  Language:Circom69205

• columbia/pixeldp

  Language:Python629822

• tcwangshiqi-columbia/ReluVal

  The released code of ReluVal in USENIX Security 2018

  Language:C562525

• Veridise/Medjai

  A Symbolic Execution Tool for Cairo

  Language:Racket49100

• MrVPlusOne/LambdaNet

  Probabilistic Type Inference using Graph Neural Networks

  Language:Scala4710212

• tcwangshiqi-columbia/Neurify

  The released code of Neurify in NIPS 2018

  Language:C4641719

• Veridise/Eurus

  Precise Attack Synthesis for DeFi Apps

  Language:Racket461303

• utopia-group/regel

  REGEL: Regular Expression Generation from Examples and Language

  Language:Java33999

• utsaslab/chipmunk

  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)

  Language:C18693

• gavlegoat/charon

  The Charon tool for analyzing neural network robustness

  Language:C++13303

• shankarapailoor/trace2syz

  Language:Go6332

• utopia-group/Smore

  Code repository for 'Data Extraction via Semantic Regular Expression Synthesis'

  Language:Python6312

• utopia-group/graphy

  Code repository for 'Type-Directed Synthesis of Visualizations from Natural Language Queries'

  Language:Jupyter Notebook5500

• utopia-group/Opera

  Code repository for 'From Batch to Stream: Automatic Generation of Online Algorithms' https://arxiv.org/abs/2404.04743

  Language:Python4400

• Veridise/picus_gnark

  Utilities to extract Picus constraints from gnark

  Language:Go162