-
literature_review Public
Survey of program analysis research with a focus on machine code
-
-
binary_code_identification Public
Simple way to look up to 4 bytes and guess an instruction set architecture
-
80211_Cryptography Public
Some experiments trying to understand the underlying crypto behind 802.11
-
-
mit_16.399 Public
MIT's abstract interpretation class taught by Cousot
-
implementations Public
Implementations of program analysis tools with a focus on machine code