Joe Hendrix 494aff6ff0 This makes a number of changes to abstract domains. ... The goal is to support a jumptable testcase that is not supported by the current jump bounds check. The jump bounds check needs to be augmented so that it understands equality relationships between stack values and registers, and bounds on both. This patch tracks when a register points to a concrete stack offset. As part of this, we droped the AbsDomain instance for AbsBlockState. Clients should now likely use `fnStartAbsBlockState` in lieu of `top`. The other client visible change is that the ClassifyFailure constructor now has an extra argument with details about why classification failure occured.		2019-08-21 23:29:16 -07:00
..
Makefile	This makes a number of changes to abstract domains.	2019-08-21 23:29:16 -07:00
test-conditional.c	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-conditional.exe	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-conditional.exe.expected	Add test case for object jump table.	2018-07-20 18:16:52 -07:00
test-conditional.s	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-direct-calls.c	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-direct-calls.exe	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-direct-calls.exe.expected	Add test case for object jump table.	2018-07-20 18:16:52 -07:00
test-direct-calls.s	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-imul.c	x86: Fix a bug affecting imul (and add a test case)	2018-10-24 10:23:51 -07:00
test-imul.exe	x86: Fix a bug affecting imul (and add a test case)	2018-10-24 10:23:51 -07:00
test-imul.exe.expected	x86: Fix a bug affecting imul (and add a test case)	2018-10-24 10:23:51 -07:00
test-imul.s	x86: Fix a bug affecting imul (and add a test case)	2018-10-24 10:23:51 -07:00
test-indirect-call.c	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-indirect-call.exe	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-indirect-call.exe.expected	Add test case for object jump table.	2018-07-20 18:16:52 -07:00
test-indirect-call.s	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-jump-into-instruction.c	regression tests for splitting blocks mid-instruction	2018-01-26 14:09:01 -08:00
test-jump-into-instruction.exe	regression tests for splitting blocks mid-instruction	2018-01-26 14:09:01 -08:00
test-jump-into-instruction.exe.expected	Add test case for object jump table.	2018-07-20 18:16:52 -07:00
test-jump-into-instruction.s	regression tests for splitting blocks mid-instruction	2018-01-26 14:09:01 -08:00
test-jumptable.c	Add test case for object jump table.	2018-07-20 18:16:52 -07:00
test-jumptable.o	This makes a number of changes to abstract domains.	2019-08-21 23:29:16 -07:00
test-jumptable.o.expected	Add test case for object jump table.	2018-07-20 18:16:52 -07:00
test-just-exit.c	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-just-exit.exe	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-just-exit.exe.expected	Add test case for object jump table.	2018-07-20 18:16:52 -07:00
test-just-exit.s	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-plt.c	Add test-plt test case, and fix discovery to use trust symbols.	2018-12-04 00:04:23 -08:00
test-plt.exe	Add test-plt test case, and fix discovery to use trust symbols.	2018-12-04 00:04:23 -08:00
test-plt.exe.expected	Add test-plt test case, and fix discovery to use trust symbols.	2018-12-04 00:04:23 -08:00
test-tail-call.c	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-tail-call.exe	Add x86 specific code.	2017-09-27 15:54:43 -07:00
test-tail-call.exe.expected	Add test-plt test case, and fix discovery to use trust symbols.	2018-12-04 00:04:23 -08:00
test-tail-call.s	Add x86 specific code.	2017-09-27 15:54:43 -07:00
util.h	Add x86 specific code.	2017-09-27 15:54:43 -07:00