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 |
|