- Jun 12, 2017
-
-
mc2zk authored
Former-commit-id: 083d82fd72195ca2392445bef33e00c8ede181ec
-
- Jun 06, 2017
-
-
jdh8d authored
Former-commit-id: db8bdda85e567e50e3c496966e989cdd82bbd046
-
- May 27, 2017
-
-
clc5q authored
Former-commit-id: c6543a879f251195e4314e9d4c6b8b44cb92c0b9
-
- May 12, 2017
-
-
jdh8d authored
Former-commit-id: 77b8f93a9c98bb8577182f66ea48339fcb6f6d4c
-
- May 08, 2017
-
-
clc5q authored
Former-commit-id: a529019e1411936230aa719f7c14430d4cb1b50f
-
- May 05, 2017
-
-
jdh8d authored
Former-commit-id: 11644bbcae791a23a8a6bd79b6df1786f6bfe995
-
- May 04, 2017
-
-
clc5q authored
Former-commit-id: 81e13fd1fcf658c2ab8461d5d15f0d3d726605d6
-
- May 01, 2017
- Apr 29, 2017
-
-
clc5q authored
Former-commit-id: b43822b74d3d17ee634ab79c7b25f05275ee75ff
-
- Apr 28, 2017
-
-
an7s authored
Former-commit-id: 106e0b444fbe300d222635745c1e0f9f93efbdd8
-
- Apr 22, 2017
-
-
clc5q authored
Former-commit-id: 050776c085eac062c9b378076118d996345544f6
-
- Apr 21, 2017
-
-
clc5q authored
Add command-line options for func ptr and arg shadowing, make common code for those two defenses; minor SPARK work. Former-commit-id: bdd21a76912de7e4bf171bc5543218ae1b20e871
-
- Apr 06, 2017
-
-
clc5q authored
Former-commit-id: e34d931d4545e94912d14e8db3eabe51127e9411
-
- Apr 02, 2017
-
-
clc5q authored
Former-commit-id: ee1904214c1c9d2eb4b3ecf9e26d4a367049a344
-
- Mar 31, 2017
-
-
clc5q authored
Former-commit-id: 7dc9f626c3d43d11bacd471e3a95e52a68e9a889
-
- Mar 29, 2017
-
-
clc5q authored
Emit SPARK incoming reg location info for regs that get copied to mem write address regs in the loop. Former-commit-id: ab95603a28557cf76630156e5e5ce7d01895f37c
-
- Mar 28, 2017
-
-
clc5q authored
Former-commit-id: e1619ec14233a7610bdfde16c614c05eed286aee
-
- Mar 27, 2017
-
-
clc5q authored
Former-commit-id: 601efff35a675d3b1a85f201fdc095daf32206ee
-
- Mar 26, 2017
-
-
clc5q authored
Former-commit-id: 53da2fe4c0b69dbf241f17540127446e47f61508
-
- Mar 24, 2017
-
-
clc5q authored
Former-commit-id: e88ded577a7a6610ebd0a3552bbe3717ad990292
-
- Mar 20, 2017
-
-
clc5q authored
Former-commit-id: 64ae639d60e6c7dc9cdd2086bd5d67a4a3553fc7
-
- Mar 17, 2017
-
-
clc5q authored
Former-commit-id: 3d6021ee9fac255b40b9ecb8e066f8db2f88f394
-
- Mar 16, 2017
-
-
clc5q authored
Former-commit-id: d342710327e6d57a15fc2527ce52f31564c54b86
-
- Mar 14, 2017
-
-
clc5q authored
Former-commit-id: 93ecdb32813e27405ac6a913848793ad0889661b
-
- Mar 11, 2017
-
-
clc5q authored
Refactor and clean up SPARK output stage for regular non-loop procedures, eliminating duplicate output lines in the process. Former-commit-id: cb3f499aed6ed94fed48982f8e781a6a84e9b809
-
- Mar 10, 2017
- Mar 06, 2017
-
-
clc5q authored
Former-commit-id: 45e505f743d688a2d014cd885936516821046486
-
- Mar 04, 2017
-
-
clc5q authored
Former-commit-id: 53b6474a5894229889dc314b6d900aa6da5cfdfc
-
- Mar 01, 2017
-
-
clc5q authored
Former-commit-id: 10253077ca5276f08c377454147e4fd7f22da277
-
- Feb 22, 2017
-
-
jdh8d authored
Former-commit-id: 61698d2bd82b1c54dbb6588fc9d320d6558f7db2
-
- Feb 16, 2017
-
-
clc5q authored
Add command-line option to trigger reduced analysis mode for large binaries that might exhaust virtual memory. Former-commit-id: 82eea6e1ee6456c924d28b9106c033df17ebcb53
-
clc5q authored
Former-commit-id: f0b00af4eeb5797d610cd9f5bf620b7e856c1f30
-
clc5q authored
Former-commit-id: bdb919af1468f3a929b5a735b6221a50fe5f2047
-
- Jan 23, 2017
-
-
clc5q authored
Former-commit-id: 22c94d9650fb771c3b3e78ce3cc18deff5700f62
-
- Jan 19, 2017
-
-
clc5q authored
Former-commit-id: fcdd33b0ab180a7089574e341452da9701ffa09b
-
- Jan 16, 2017
-
-
clc5q authored
Former-commit-id: dc0b142e58a7d76c436d40188bb840f2dc849b60
-
- Jan 03, 2017
-
-
jdh8d authored
Former-commit-id: 8fb87d43a2c339de45688553804e9bb25cce6e21
-