15 commits

Author	SHA1	Message	Date
Can Bölük	a1e8a013fb	Majorly optimized refs for overwrite, fixed some of the messy parts.	2020-09-08 09:07:22 +02:00
Can Bölük	d2a7af44ae	Implemented symex auxiliaries for common patterns.	2020-09-08 05:31:04 +02:00
Can Bölük	892aa4d1ff	Implemented __assuming, fix equals, renamed xvalues to ::approximate().	2020-09-06 18:46:30 +02:00
Can Bölük	48c5946031	Improving bitwise operations.	2020-09-06 12:09:33 +02:00
Can Bölük	dd75556dd6	Automatically fix opaque predicates.	2020-09-05 23:28:24 +02:00
Can Bölük	b2e7187a6c	Add weak_id::to_string, implement mem reference tracking, fix for Clang.	2020-09-05 04:53:51 +02:00
Can Bölük	ff801f0f4e	Symbolic analysis also should not enforce byte alignment.	2020-09-05 01:52:22 +02:00
Can Bölük	e26411440a	Implement a pass that asserts that an analysis pass is applied.	2020-09-04 20:33:21 +02:00
Can Bölük	9765ca4110	Fixing the sp_offset adjustment logic.	2020-09-04 16:28:18 +02:00
Can Bölük	885022b72e	Implemented symbolic_analysis::dump.	2020-09-04 15:53:21 +02:00
Can Bölük	d0dc63f7fb	Fixing N bit wide writes to flag.	2020-09-04 14:59:23 +02:00
Can Bölük	7a1ad3b21a	Added basic cross-block register DCE, add branch simplification.	2020-09-03 06:33:04 +02:00
Can Bölük	5c9760cbc2	Fixing a bug with read_register reference counting.	2020-09-03 05:38:02 +02:00
Can Bölük	de8cd800ea	Fixing for clang.	2020-09-02 22:14:03 +02:00
Can Bölük	56ff25f776	Adding demo symbolic analysis.	2020-09-02 22:03:15 +02:00