Peter Goodman d347c1232b Added defs for ssl, pcre, and asn1. Sorted and uniq'd the linux.txt defs, just to organize it. Updated the ida_get_cfg.sh script to use the linux.txt defs. Updated get_cfg.py to be able to take a file name for specifying where to store the debug log. The way to use it is --debug --debug_output /tmp/log. The default when only --debug is used is to log to stderr.

2016-10-04 12:08:49 -04:00

..

cfg_to_bc.sh

Got an unoptimized lifted version of thttpd to compile to an object file. Had to change how pointer casts were done. Current solution is probably suboptimal but avoids the issue of llvm's addrspacecast in place of just using an inttoptr cast.

2015-11-05 17:32:42 -05:00

env.sh

Directory fix

2016-05-19 16:58:44 -04:00

ida_get_cfg_core.sh

Got an unoptimized lifted version of thttpd to compile to an object file. Had to change how pointer casts were done. Current solution is probably suboptimal but avoids the issue of llvm's addrspacecast in place of just using an inttoptr cast.

2015-11-05 17:32:42 -05:00

ida_get_cfg.sh

Added defs for ssl, pcre, and asn1. Sorted and uniq'd the linux.txt defs, just to organize it. Updated the ida_get_cfg.sh script to use the linux.txt defs. Updated get_cfg.py to be able to take a file name for specifying where to store the debug log. The way to use it is --debug --debug_output /tmp/log. The default when only --debug is used is to log to stderr.

2016-10-04 12:08:49 -04:00

mcsema_common.sh

Updating scripts

2016-06-08 06:21:43 -04:00

run_on_apache.sh

Updating scripts

2016-06-08 06:21:43 -04:00

run_on_thttpd.sh

Updating scripts

2016-06-08 06:21:43 -04:00

run.sh

Fixed an issue with using the stack incorrectly. Still another blocking issue. Run script works nicely.

2015-11-06 19:21:17 -05:00