Commits · 9d6fbbed21eb0ce2e88c167531c417c9185e0073 · paradise / mirror / DIVINE

Dec 24, 2019
- tools: Fix compilation of divcheck.hpp. · 9d6fbbed
  Petr Rockai authored Dec 24, 2019
  
  9d6fbbed
- libc: Add stubs for IEEE FP mode and environment management functions. · 00390d80
  Petr Rockai authored Dec 24, 2019
  
  00390d80
Nov 12, 2019
- llvm: Lower rint intrinsic. · 0e094095
  Henrich Lauko authored Nov 12, 2019
  
  0e094095
Dec 24, 2019
- sim: Fix a few 'semantic' conflicts. · 95aa1ac6
  Petr Rockai authored Dec 24, 2019
  
  95aa1ac6
- tools: Resolve conflicts in divcheck.hpp. · 7e1e49aa
  Petr Rockai authored Dec 24, 2019
  
  7e1e49aa
- test: Resolve conflicts in lib/testsuite (mcsema vs klee). · 645fe708
  Petr Rockai authored Dec 24, 2019
  
  645fe708
- sim: Resolve conflicts between 'tamper' and the brick-cmd rewrite. · b83e5db1
  Petr Rockai authored Dec 24, 2019
  
  b83e5db1
Dec 21, 2019
- rst: Fix a conflict in constant.hpp. · 762f8feb
  Petr Rockai authored Dec 21, 2019
  
  762f8feb
Dec 10, 2019
- lart: Cast lifter return value to correct type. · c26d0bb7
  Henrich Lauko authored Dec 10, 2019
  
  c26d0bb7
- lart: Resurrect abstraction of call instructions. · 3f5a70d4
  Henrich Lauko authored Dec 10, 2019
  
  3f5a70d4
- rst: Generate additional overloads of operators for scalar domain. · c934c094
  Henrich Lauko authored Dec 10, 2019
  
  c934c094
Dec 09, 2019
- rst: Define C interface to constant lifters. · c599c7b6
  Henrich Lauko authored Dec 09, 2019
  
  c599c7b6
- rst: Fix missing arguments of unit aggregate operations. · 9a6d5a6d
  Henrich Lauko authored Dec 09, 2019
  
  9a6d5a6d
- rst: Implement mstring strlen operation. · 382fa854
  Henrich Lauko authored Dec 09, 2019
  
  382fa854
- rst: Refactor mstring fault yields. · e907d869
  Henrich Lauko authored Dec 09, 2019
  
  e907d869
- rst: Add missing attributes to operations in scalar wrapper domain. · bda64937
  Henrich Lauko authored Dec 09, 2019
  
  bda64937
- test: Remove todo tag from basic mstring tests. · 1436d04b
  Henrich Lauko authored Dec 09, 2019
  
  1436d04b
- rst: Add to term domain a cast operator to abstract base. · 1774fbeb
  Henrich Lauko authored Dec 09, 2019
  
  1774fbeb
- rst: Implement mstring gep operation. · f6258a2e
  Henrich Lauko authored Dec 09, 2019
  
  f6258a2e
- rst: Implement mstring store operation. · 78db91f5
  Henrich Lauko authored Dec 09, 2019
  
  78db91f5
- rst: Implement mstring load operation. · dc307432
  Henrich Lauko authored Dec 09, 2019
  
  dc307432
Dec 06, 2019
- lart: Synthesize new bitwidth argument to the load lifter. · 081b04ad
  Henrich Lauko authored Dec 06, 2019
  
  081b04ad
- rst: Generate alloca lifter templates. · 6fd3c578
  Henrich Lauko authored Dec 06, 2019
  
  6fd3c578
- rst: Pass bitwidth of stored value to the lifter. · 3ffa8a0a
  Henrich Lauko authored Dec 06, 2019
  
  3ffa8a0a
- rst: Generate load lifter templates. · 7937628e
  Henrich Lauko authored Dec 06, 2019
  
  7937628e
- lart: Pass additional bitwidth parameters to generated gep lifters. · c896e6e1
  Henrich Lauko authored Dec 06, 2019
  
  c896e6e1
- rst: Pass result bitwidth of gep to the abstract lifter. · f422765c
  Henrich Lauko authored Dec 06, 2019
  
  f422765c
Dec 05, 2019
- lart: Refactor synthesization of abstraction lifters. · 6a0ef5c5
  Henrich Lauko authored Dec 05, 2019
  
  6a0ef5c5
Nov 01, 2019
- mem: Parametrise SnapshottedMap by its storage backend. · 01f9c348
  Adam Matoušek authored Nov 01, 2019
  
  01f9c348
Oct 29, 2019
- tools: Split Expect in divcheck. · 60e971e9
  Adam Matoušek authored Oct 29, 2019
  
  60e971e9
- ui: Split CompositeSink. · a41fbaf5
  Adam Matoušek authored Oct 29, 2019
  
  a41fbaf5
Oct 23, 2019
- tools: Support multiple 'verify' or 'exec' commands in divcheck. · 7fca65f3
  Adam Matoušek authored Oct 23, 2019
  
  7fca65f3
- tools: Allow to make violation of divcheck's 'expect' non-fatal. · 0c9cfa5c
  Adam Matoušek authored Oct 23, 2019
  
  0c9cfa5c
Oct 13, 2019
- sim: Adapt 'tamper' to changes in brick-except. · 608c0c91
  Adam Matoušek authored Oct 13, 2019
  
  608c0c91
Sep 17, 2019
- test: Add a test for the 'tamper' simulator command. · 6b8e91fd
  Adam Matoušek authored Sep 17, 2019
  
  6b8e91fd
Aug 21, 2019
- sim: Implement tampering with dbg.value-defined variables. · c4aa8df7
  Adam Matoušek authored Aug 21, 2019
  
  c4aa8df7
- sim: Refactor DFS of first instruction. · d9059f80
  Adam Matoušek authored Aug 21, 2019
  
  d9059f80
- dbg: Hold original debug intrinsics in debug nodes. · 3fbc111a
  Adam Matoušek authored Aug 21, 2019
  
  3fbc111a
Aug 16, 2019
- sim: Add a 'tamper' command for abstracting local variables. · 2f802534
  Adam Matoušek authored Aug 16, 2019
  
  2f802534
Dec 06, 2019

lart: Add pass that removes and-mask in the decompiled code. · 90120ce6

Lukáš Korenčik authored Dec 06, 2019


Remove and-mask that is generated in the decompiled code
by mcsema when a global variable that was originally
a segment is accessed.

90120ce6

Admin message