148 commits

Author	SHA1	Message	Date
Can Bölük	82920a02e8	Switch to /O2.	2020-09-09 21:17:54 +02:00
Can Bölük	4ab8c095a8	Minor fixes, set stdlib in travis config.	2020-09-08 15:56:26 +02:00
Can Bölük	a05e89566a	Making a seperate LTCG profile as it takes too long to compile for tests	2020-09-08 13:09:48 +02:00
Can Bölük	c70b9a2f49	Enable LTCG for Symex and switch /MD to /MT for MSVC.	2020-09-08 12:50:13 +02:00
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	64d225f80c	Minor fixes.	2020-09-08 05:31:12 +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	dab9238d43	Fix int vs approx comparison.	2020-09-06 21:51:39 +02:00
Can Bölük	89a75944ef	Added clang config.	2020-09-06 21:51:16 +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	da7d5e709a	Finalised preliminary register elimination pass.	2020-09-05 01:55:38 +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	854ec157b0	Change cache size, fix sym DCE for locals, minor other changes.	2020-09-04 20:34:38 +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	e932d3847e	OK Clang.	2020-09-03 06:42:05 +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	3bd35144cc	Turning VTIL-Compiler into an executable for now to test.	2020-09-02 22:03:22 +02:00
Can Bölük	56ff25f776	Adding demo symbolic analysis.	2020-09-02 22:03:15 +02:00
Can Bölük	a20d1107c3	Making pass validation errors more verbose.	2020-09-02 22:02:22 +02:00
Can Bölük	84bfd9f137	Merge branch 'master' into exp-optimizer-v2	2020-09-02 01:34:50 +02:00
Can Bölük	4f9abc25c0	Removing some redundancies.	2020-08-28 07:11:08 +02:00
Can Bölük	3102c74893	Do not purge simplifier state.	2020-08-26 09:52:27 +02:00
Can Bölük	b5c94492bc	Reworking simplifier by using lru_flatmap.	2020-08-26 09:45:28 +02:00
Can Bölük	9d7b5e4980	Implementing task_local to fix thread_local leaks.	2020-08-25 06:55:17 +02:00
Can Bölük	a25ce864fe	Routine uses unordered_map now, other minor changes.	2020-08-24 04:38:15 +02:00
Can Bölük	18271c817e	Moving transform_parallel to utility.	2020-08-24 04:28:40 +02:00
Can Bölük	0b316c6cfd	Implemented basic std::fs support, reworked time/iterator helpers.	2020-08-24 04:00:44 +02:00
Can Bölük	3c3687636e	Fixing typo in the fix.	2020-08-23 10:49:49 +02:00
Can Bölük	222b6d4390	Fixing out-of-constraint access in is_used.	2020-08-23 10:31:41 +02:00
Can Bölük	0a1d015eba	Minimal pass re-ordering.	2020-08-23 06:54:36 +02:00
Can Bölük	6cbead72cc	Minor logic fixes.	2020-08-23 06:40:55 +02:00
Can Bölük	eb82631fd6	Implementing parallel-df DCE.	2020-08-23 05:44:25 +02:00
Can Bölük	0bbc82b8f8	Implemented optimizer::execution_order.	2020-08-23 05:44:11 +02:00
Can Bölük	c0e26276ab	Moved is_semantic_nop and remove_nops to auxiliaries.	2020-08-23 02:07:16 +02:00
Can Bölük	fac4c68236	Removed vector allocating ::recurse, replacing with ::enum_paths.	2020-08-22 03:47:49 +02:00
Can Bölük	086233747c	Revert a whoopsie.	2020-08-21 07:53:57 +02:00
Can Bölük	7d106c56e8	Making use of function_view.	2020-08-21 00:55:43 +02:00
Can Bölük	fe1b7fc7e1	Implemented auto-scope ref and exception-less stack cleanup.	2020-08-01 21:21:16 +02:00
Can Bölük	ff009c96a7	Worker threads preserve symcache per block.	2020-08-01 21:19:56 +02:00
Can Bölük	1ed9aa410d	Fixed a race condition caused by off by one restriction.	2020-07-29 20:33:29 +02:00
Can Bölük	ccd1969997	Added CustomHashable concept overload for std::hash.	2020-07-29 06:47:21 +02:00
Can Bölük	8a79ca03ba	Fixed everything else to work with the changes.	2020-07-29 02:36:10 +02:00