Craig Disselkoen

Expert
@cdisselkoen

Sr. Applied Scientist at AWS. PhD '22 from UC San Diego

llvm-ir. LLVM IR in natural Rust data structures

697

pitchfork. Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)

77

llvm-ir-analysis. Rust

76

Kaleidoscope-MacrosOnTheFly. Plugin for Kaleidoscope that allows you to record and play back macros on-the-fly.

16

Kaleidoscope-LED-LetterGuesser. Kaleidoscope plugin creating an LED 'LetterGuesser' effect.

15

boolector-rs. Safe high-level bindings for the Boolector SMT solver

14

llvm-ir-taint. Rust

10

Kaleidoscope-Hardware-Virtual. "Virtual" hardware plugin for Kaleidoscope: test and debug Kaleidoscope sketches, plugins, and core on x86

2

inkwell. It's a New Kind of Wrapper for Exposing LLVM (Safely)

1

llvm-sys-featured. Bindings to LLVM's C API

1

z3.rs. Rust bindings for the Z3 solver.

1
11
Apply