StanfordPL/strata
Automatic inference of a formal specification of the x86_64 instruction set
AssemblyApache-2.0
Stargazers
- 0xabad1deaNetherlands
- 4creatorsWarsaw, Poland
- abeaumont
- aliceatlasBrooklyn, NY
- aquynh
- averykatkoLenapehoking
- bowendeng@Snapchat
- calebcase
- cantora
- fabiohtoSão Paulo
- halsten
- hongxuchenShenzhen, Guangdong, China
- hslatman@smallstep
- humanelycyberium.info
- insecuritea
- jbosboom
- jevinskieLafayette, Indiana
- jmitchellSeattle
- joeleong
- lethalbit@YosysHQ
- lmenigau
- M1suzu
- MattPD
- mewmewSweden
- pafmafHamburg
- pgoodman@trailofbits
- rrwright
- rvantonder@sourcegraph
- sdasgup3Google Inc.
- szabbaZielona Góra, Poland
- techvoltage
- tpn@voltrondata
- trou
- vishwasm26
- vmercuriItaly
- wdv4758hTaipei, Taiwan