cleanups
update for ghc haskell 8.8.4
update for ghc haskell 8.8.4
turn off randomness, ence fixups, with -n to compiler
allow -Ok=key options
get AES encrypt and decrypt into havoc_as and havod_od respectively
let havoc_rc use two keys, -Ok=key1 -Ok=key2
add int128 and word128 for future use in registers
installed AES encryption and updated code to cover pattern-match misses
separate out usenixsec-2019 subdir
working
working
changed abstract
init
working
still working on p3
still working on p3
starting p4
working on p3
done p2
working
and still working on p3
got to end of p6
working
on p6
tweaking
reworking p5
working
working
working on p9
tweaks
reached p9
working
starting p8
add IEEE bib styles
working
merge
tweaks
reached p10 again
working
tweaks
working
eorking
reached p10
labels
working
working
working
working
reached p11
made appendix and moved floats into it
working
working
on p10 again
reached structs
starting on info theory, cleaned up section/subsection
tweaks
finished first time
tweaks
working
tweaks
tweaks
tweaks
cut 4 lines to right length
added Sieve example
reached p12
spellchecked, sent to esther
tweaks
reached p12 again
tweaks
reached p13
tweaks
abstract
for submission
post changes for iacr
tweaks
add command line options to havoc_od
finally figured how to transfer padding via link
not quite there yet on transfering sym data through linker, but nearly. Padding to go still
looks good. data and address offsets passed at link
make assembler macros into instructions and export for CC to use
correct too lax assembler dollar_ident, which could match nothing
forgot a couple of max min lines for Ext (virtual locations for externs)
tweaks
correct some overenthusiastic import trimming
made new bindings in symtab transmit to and from elf reliably
hide SymType, SymBind internals
add local, weak macros, adding bindin type to symtab, the internals of which have been isolated
weak symbols, address -1
managed to link two files. Much asm macro support added. Compiler trained to emit it
tweaks
prepare .size macro in assembler
better dump and init sect run first
got symbols in instruction constants working. Proceed with link upgrade.
working towards allowing init section in elf
alowing .section metacommands in assembler
try for vm run from program segment at any address, and concatenate multiple program sections into one for running
tag 2.3.2
forgot and/or/xor/sll and let names contain underline