shqking

shqking's Stars

• EarlGray/c4

  x86 JIT compiler in 86 lines

  Language:C94445461

• aflnet/aflnet

  AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

  Language:C8612294190

• trailofbits/deepstate

  A unit test-like interface for fuzzing and symbolic execution

  Language:Python8135824399

• sheisc/ucc162.3

  A lightweight open-source C compiler for research and education.

  Language:C3822311139

• dekimir/RamFuzz

  Combining Unit Tests, Fuzzing, and AI

  Language:C++29916439

• angr/claripy

  An abstraction layer for constraint solvers.

  Language:Python2842311693

• JetBrains-Research/astminer

  A library for mining of path-based representations of code (and more)

  Language:Kotlin28087880

• PurduePAML/TrojanNN

  Trojan Attack on Neural Network

  Language:Python1809939

• jburnim/crest

  CREST is a concolic test generation tool for C.

  Language:C158141650

• chao-peng/SIF

  Solidity code instrumentation and analysis framework.

  Language:C++493911

• sslab-gatech/deadline

  Language:C++4616114

• zhiyisun/enable_arm_pmu

  Enable user-mode access to ARMv7/Linux performance counters

  Language:C425017

• cxreet/razor

  Language:C40538

• efficient/gopt

  Fast packet processing using CPUs

  Language:C3818017

• bentrevett/code2vec

  A PyTorch implementation of `code2vec: Learning Distributed Representations of Code` (Alon et al., 2018)

  Language:Python346010

• ucsb-seclab/sasi

  Signedness-Agnostic Strided-Interval

  Language:C++34909

• kuopinghsu/callgraph-gen

  Generating the call graph from elf binary file

  Language:Assembly31103

• pointer-authentication/parts-llvm

  PARTS / LLVM compiler

  Language:LLVM31117

• sslab-gatech/hdfi

  Hardware-assisted Data-flow Isolation

  Language:C2617713

• sslab-gatech/caver

  Language:C++251817

• tomgu1991/IMChecker

  An automatic API misuse checker for C programs!

  Language:Python18414

• liulhdarks/code2vec

  code2vec: Learning Distributed Representations of Code

  Language:Python14305

• wuyangzhang/HeteroEdge

  Language:Java136

• embedded-sec/uRAI

  Securing Embedded Systems with Return Address Integrity

  Language:C12444

• ispras/tact

  Language:C81103

• oscarlab/api-study-framework

  Framework to analyze instruction footprints among Ubuntu APT packages

  Language:Python4611

• grapple-system/Backend

  Language:C++3100

• grapple-system/Frontend

  Language:Java30

• fromGoogleCode/range-analysis

  Automatically exported from code.google.com/p/range-analysis

  Language:C++21

• muchang/klee

  Language:C++2200