Commits · 8ed4e57a586f23d828043b24aa391ea5be97f00c · paradise / mirror / DIVINE · GitLab

Mar 02, 2019
- rst: Pull out content domain intrinsic definitions. · 8ed4e57a
  Henrich Lauko authored Mar 02, 2019
  
  8ed4e57a
Jan 31, 2019
- rst: Fix declaration of string domain accessors. · 12160ead
  Henrich Lauko authored Jan 31, 2019
  
  12160ead
Feb 27, 2019
- rst: Introduce getelementptr abstract operation in content domain. · 86af9cb0
  Henrich Lauko authored Feb 27, 2019
  
  86af9cb0
Mar 01, 2019
- rst: Rename Quintuple to Mstring. · 5fce5eab
  Henrich Lauko authored Mar 01, 2019
  
  5fce5eab
Feb 11, 2019
- rst: Update mstring load/store to follow a new string abstraction accessors. · cb0bb2be
  Henrich Lauko authored Feb 11, 2019
  
  cb0bb2be
Jan 24, 2019
- rst: Introduce mstring read operation. · 7cba38d3
  Henrich Lauko authored Jan 24, 2019
  
  7cba38d3
Mar 03, 2019
- lart: Clean up unstashing of abstract aguments. · 652ad513
  Henrich Lauko authored Mar 03, 2019
  
  652ad513
- lart: Reintroduce content load abstraction. · edd67dcd
  Henrich Lauko authored Mar 03, 2019
  
  edd67dcd
- lart: Reintroduce content store abstraction. · f3c3c512
  Henrich Lauko authored Mar 03, 2019
  
  f3c3c512
- lart: Propagate content abstraction through casts. · d1c5322b
  Henrich Lauko authored Mar 03, 2019
  
  d1c5322b
- lart: Reintroduce abstraction of in domain functions. · 2489936d
  Henrich Lauko authored Mar 03, 2019
  
  2489936d
- lart: Introduce transformation of getelementptr instructions in lart passes. · 2fb78e98
  Henrich Lauko authored Mar 03, 2019
  
  2fb78e98
- lart: Concretize phinode placeholders. · 053b3356
  Henrich Lauko authored Mar 03, 2019
  
  053b3356
- lart: Create distinct nodes for abstract argument dual metadata. · 8c4b670f
  Henrich Lauko authored Mar 03, 2019
  
  8c4b670f
- lart: Reduce stashed structure to capture only abstract arguments. · 475df844
  Henrich Lauko authored Mar 03, 2019
  
  475df844
- lart: Unpack stashed structure. · 1e99b132
  Henrich Lauko authored Mar 03, 2019
  
  1e99b132
- lart: Skip concretization of pointers in scalar domains. · 1bfc6b15
  Henrich Lauko authored Mar 03, 2019
  
  1bfc6b15
- lart: Reintroduce stashing of concrete values. · 16bef2b8
  Henrich Lauko authored Mar 03, 2019
  
  16bef2b8
- lart: Remove unnecessary stashing of abstract arguments. · ba622e30
  Henrich Lauko authored Mar 03, 2019
  
  ba622e30
- lart: Let stashing pass use placeholder builder. · 1f30ce6f
  Henrich Lauko authored Mar 03, 2019
  
  1f30ce6f
- lart: Remove obsolete substitution pass. · 35721071
  Henrich Lauko authored Mar 03, 2019
  
  35721071
- lart: Remove obsolete tainting pass. · d7b5a8b2
  Henrich Lauko authored Mar 03, 2019
  
  d7b5a8b2
- lart: Remove obsolete FreezeStores pass. · 066f6102
  Henrich Lauko authored Mar 03, 2019
  
  066f6102
- lart: Reintroduces packing of stashed arguments. · b5f9e5b0
  Henrich Lauko authored Mar 03, 2019
  
  b5f9e5b0
- lart: Introduce metadata about dual values for function arguments. · 07baf29b
  Henrich Lauko authored Mar 03, 2019
  
  07baf29b
- lart: Concretize assume placeholders as last. · e539082c
  Henrich Lauko authored Mar 03, 2019
  
  e539082c
- lart: Generate dual metadata for unstashed arguments. · f23c281e
  Henrich Lauko authored Mar 03, 2019
  
  f23c281e
- lart: Fix abstraction of ptrtoint instruction. · faf46de0
  Henrich Lauko authored Mar 03, 2019
  
  faf46de0
- lart: Reintroduce abstraction of cast instructions. · e2a8381a
  Henrich Lauko authored Mar 03, 2019
  
  e2a8381a
- lart: Fix naming of binary taints. · b6ca01c4
  Henrich Lauko authored Mar 03, 2019
  
  b6ca01c4
- lart: Fix thaw arguments. · d86ad859
  Henrich Lauko authored Mar 03, 2019
  
  d86ad859
- lart: Pass loaded value to thaw lifter to trigger __vm_test_taint. · 32a90ef3
  Henrich Lauko authored Mar 03, 2019
  
  32a90ef3
- lart: Enable abstraction propagation through phinodes. · 8f621e04
  Henrich Lauko authored Mar 03, 2019
  
  8f621e04
- lart: Remove superfluous metadata propagation to allocas. · 13f346de
  Henrich Lauko authored Mar 03, 2019
  
  13f346de
- lart: Do not try to create abstract placeholders for GEP. · b8cb19a4
  Henrich Lauko authored Mar 03, 2019
  
  b8cb19a4
- lart: Implement stash/unstash tainting. · 7f853c2f
  Henrich Lauko authored Mar 03, 2019
  
  7f853c2f
- lart: Clean up placeholders after replacement with taints test. · 1351a121
  Henrich Lauko authored Mar 03, 2019
  
  1351a121
- lart: Implement enumeration of taint test calls. · 68921728
  Henrich Lauko authored Mar 03, 2019
  
  68921728
- lart: Implement basic tainting pass. · 852e4829
  Henrich Lauko authored Mar 03, 2019
  
  852e4829
- lart: Remove superfluous content passes. · e0e40d49
  Henrich Lauko authored Mar 03, 2019
  
  e0e40d49