ankpat and rhelmot Updated fauxware example. Removed use of SimulationManager.step and r…
…eplaced with SimulationManager.run. This allows the output of solve.py to be piped into fauxware like the docs claim (#197)
Latest commit 19ef43f Jun 21, 2018
Permalink
..
Failed to load latest commit information.
0ctf_momo_3 New API for other example scripts. Jul 17, 2017
0ctf_trace It's spelled .solver Nov 15, 2017
9447_nobranch Tighten up slow examples a bit Mar 28, 2018
CADET_00001 fix cadet_1 example for new files Apr 19, 2018
CSCI-4968-MBE/challenges Fix csci crackme examples for new_files Apr 19, 2018
ais3_crackme It's spelled .solver Nov 15, 2017
android_arm_license_validation correct solution for android_arm_license_validation (#190) May 27, 2018
asisctffinals2015_fake use simulation manager for example asisctffinals2015_fake Jun 1, 2018
asisctffinals2015_license use simulation manager for example asisctffinals2015_license Jun 1, 2018
cmu_binary_bomb speed up cmu_binary_bomb example May 29, 2018
codegate_2017-angrybird fix angrybird example for new_files Apr 19, 2018
csaw_wyvern It's spelled .solver Nov 15, 2017
csgames2018 use simulation_manager for example csgames2018 Jun 1, 2018
defcamp_r100 Fix defcamp_r100 for new files Apr 19, 2018
defcamp_r200 Mark defcamp r200 example as broken Apr 17, 2018
defcon2016quals_baby-re Merge the two baby-re examples, enable LAZY_SOLVES to make it take 10… Mar 28, 2018
defcon2017quals_crackme2000 It's spelled .solver Nov 15, 2017
ekopartyctf2015_rev100 It's spelled .solver Nov 15, 2017
ekopartyctf2016_rev250 It's spelled .solver Nov 15, 2017
ekopartyctf2016_sokohashv2 Remove threading from sokohash solution - it's broken right now Mar 28, 2018
fauxware Updated fauxware example. Removed use of SimulationManager.step and r… Jun 21, 2018
flareon2015_10 It's spelled .solver Nov 15, 2017
flareon2015_2 It's spelled .solver Nov 15, 2017
flareon2015_5 Tighten up slow examples a bit Mar 28, 2018
google2016_unbreakable_0 It's spelled .solver Nov 15, 2017
google2016_unbreakable_1 It's spelled .solver Nov 15, 2017
grub Make grub testable Nov 14, 2017
hackcon2016_angry-reverser speed up example hackcon2016_angry-reverser Jun 1, 2018
hitcon2017_sakura add hitcon2017_sakura exmaple (#191) May 28, 2018
insomnihack_aeg Fix insomnihack_aeg for new_files Apr 19, 2018
layer7_onlyone It's spelled .solver Nov 15, 2017
mma_howtouse update for the claripy backend changes Dec 16, 2015
mma_simplehash It's spelled .solver Nov 15, 2017
secconquals2016_ropsynth Attempt to make sure that ropsynth test can't hang CI Mar 29, 2018
secuinside2016mbrainfuzz Exercise editorial discretion to fix mbrainfuzz example; closes #114 Dec 18, 2017
securityfest_fairlight It's spelled .solver Nov 15, 2017
sharif7_rev50 Reorganize sample directory structure a little bit Dec 18, 2017
simple_heap_overflow fix heap overflow example for new_files Apr 19, 2018
strcpy_find Get all editorial up in here Dec 18, 2017
sym-write It's spelled .solver Nov 15, 2017
tumctf2016_zwiebel Tighten up slow examples a bit Mar 28, 2018
unmapped_analysis Minor fixups for all examples; add testcases to check for example cov… Dec 21, 2017
whitehat_crypto400 It's spelled .solver Nov 15, 2017
whitehatvn2015_re400 It's spelled .solver Nov 15, 2017