Commit graph

25 commits

Author SHA1 Message Date
windy
f0316a22ab Fix bit operation 2021-08-30 23:35:55 +08:00
Can Bölük
c914c52071 Xvalue calculation is now done on-demand. 2020-07-25 11:26:18 +02:00
Can Bölük
0473834de3 xvalue propagation is now done within expression itself. 2020-07-24 08:29:11 +02:00
Can Bölük
7e9b8124a6 Minor changes to xkey calculation. 2020-07-24 05:49:29 +02:00
Can Bölük
7dd19292ff Reworked VM interface. 2020-07-23 04:46:54 +02:00
Can Bölük
10447a448c More constexpr. 2020-07-18 22:32:27 +02:00
Can Bölük
e11bc77a92 Reverting tracer change for now. 2020-07-13 00:27:05 +02:00
Can Bölük
22fafcc956 Fixing is_lazy bug. 2020-07-12 20:20:41 +02:00
Can Bölük
fbaa8efe2e Testing... 2020-07-12 18:05:19 +02:00
Can Bölük
b9effa2ac1 Symbolic pointers now store references, changed variant size. 2020-07-11 02:17:12 +02:00
Can Bölük
392e02d973 Fixing license headers yet once again. 2020-07-09 02:43:51 +02:00
Can Bölük
614309aa11 Fixing license. 2020-07-06 21:41:04 +02:00
Can Bölük
4049af4636 Fixing shift at wrong time. 2020-06-26 11:37:40 +02:00
Can Bölük
d77ce575e9 Lazy flag is now "stolen" instead of being carried. 2020-06-26 11:32:28 +02:00
Layle
c4b6fc4f36 fixed strenght -> strength 2020-06-25 11:46:51 +02:00
Can Bölük
ff50c37656 Fixed for clang. 2020-06-22 17:16:59 +02:00
Can Bölük
914f5f75e5 Removed the option to use unsecure pointer displacement, fixed alias anl 2020-06-22 04:48:41 +02:00
Can Bölük
523d35d53c Implemented a way to fix unknown access when rtracing is allowed. 2020-06-21 01:30:21 +02:00
Can Bölük
ff35550699 Experimental alias analysis fix. 2020-06-21 00:04:33 +02:00
Can Bölük
5c184634d3 Fixed pointer overlap checks. 2020-06-15 11:19:37 +02:00
Can Bölük
781dbbad36 Removed displacement calc and is_restrict_qf_against and replaced with
pointer:: alternatives.
2020-05-26 16:24:23 +02:00
Can Bölük
a66c552ffa Allowed LambdaVM to hijack other VMs and implemented fallback-to-default 2020-05-25 14:40:37 +02:00
Can Bölük
272e1e87d8 Clang being annoying... 2020-05-25 07:56:07 +02:00
Can Bölük
07e50c3c50 Should fix compilation for Clang. 2020-05-25 07:49:14 +02:00
Can Bölük
2f9046854c Implemented a Arch-SymEx bridge. 2020-05-25 07:40:23 +02:00