Pinned Repositories
SudokuSensei
Using Yices2 to solve, explain, and teach Sudoku puzzle solving.
yices2_go_bindings
Golang bindings for yices2
Bliss
BLISS: Bimodal Lattice Signature Schemes
gllvm
Whole Program LLVM: wllvm ported to go
llvm2smt
Experimental translation of llvm to smt.
stegotorus
A Camouflage Proxy for the Tor Anonymity System
yices2
The Yices SMT Solver
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
ianamason's Repositories
ianamason/yices2_go_bindings
Golang bindings for yices2
ianamason/SudokuSensei
Using Yices2 to solve, explain, and teach Sudoku puzzle solving.
ianamason/angr
A powerful and user-friendly binary analysis platform!
ianamason/arels-sudoku-generator
A simple sudoku generator written in Python
ianamason/cFS
The Core Flight System (cFS)
ianamason/dnspython
a powerful DNS toolkit for python
ianamason/dyninst
DyninstAPI: Tools for binary instrumentation, analysis, and modification.
ianamason/faq
Frequently asked questions about the Tusky Mastodon client
ianamason/gmp
Go language interface to GMP - GNU Multiprecision Library (golang)
ianamason/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
ianamason/keystone
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
ianamason/libpolywantacracker
For doing the last few yards of the travis ordeal.
ianamason/llvm_bc_parsing_example
An LLVM C-API bitcode parsing example
ianamason/lp_solve
Mirror of lp_solve (http://lpsolve.sourceforge.net/5.5/). Please file a bug if code is out of date.
ianamason/markdown-magic
💫 Automatically format markdown files, sync external docs/src code & make better docs
ianamason/patchAPI
An attempt at using DynInst's patchAPI
ianamason/TLS
For looking into why travis ain't got no TLS :-(
ianamason/travisty
For futzing with travis.
ianamason/Vagrants
Various boxes for various tasks.