Commits · 9fae8f2b279482bbb68e4e02b7644c2d190f618f · paradise / mirror / DIVINE · GitLab

Jul 29, 2019
- lart: Test taints before calling freeze or thaw. · 9fae8f2b
  Henrich Lauko authored Jul 29, 2019
  
  9fae8f2b
- smt: Fix order of arguments of binary operations. · d37d9ed1
  Henrich Lauko authored Jul 29, 2019
  
  d37d9ed1
- lart: Refactor synthesize pass. · 3e3fa447
  Henrich Lauko authored Jul 29, 2019
  
  3e3fa447
- lart: Obliterate obsolete freeze/thaw taint generation. · 9138a6cd
  Henrich Lauko authored Jul 29, 2019
  
  9138a6cd
- lart: Annotate atomic abstract operations by interrupt.skipcfl tag. · 153bbde5
  Henrich Lauko authored Jul 29, 2019
  
  153bbde5
Jul 25, 2019
- lart: Fix tobool taint generation. · f6789f0d
  Henrich Lauko authored Jul 25, 2019
  
  f6789f0d
- lart: Fix return value propagation. · 414a97dc
  Henrich Lauko authored Jul 25, 2019
  
  414a97dc
- lart: Rework wrapping of abstract values in data-flow analysis. · 9e3490ed
  Henrich Lauko authored Jul 25, 2019
  
  9e3490ed
Jul 24, 2019
- lart: Fix data-flow analysis of pointer types. · a5a83e62
  Henrich Lauko authored Jul 24, 2019
  
  a5a83e62
Jul 19, 2019
- smt: Let smt builder deduce bitwidth of non-leaf formula nodes. · 160b5c98
  Henrich Lauko authored Jul 19, 2019
  
  160b5c98
- smt: Ignore casts of values to the same bitwidth. · da377422
  Henrich Lauko authored Jul 19, 2019
  
  da377422
- lart: Generalize llvm utilities for transformation passes. · f2e1ea54
  Henrich Lauko authored Jul 19, 2019
  
  f2e1ea54
- lart: Erase lart helper intrinsics after successful abstraction. · 5cee472b
  Henrich Lauko authored Jul 19, 2019
  
  5cee472b
- lart: Synthesize lifters for faultable operations. · 7e90eae7
  Henrich Lauko authored Jul 19, 2019
  
  7e90eae7
- lart: Refactor taint instrumentation to work with faultable operations. · 5bdfe9c8
  Henrich Lauko authored Jul 19, 2019
  
  5bdfe9c8
- lart: Implement syntactic abstraction of faultable operations. · 387be2bc
  Henrich Lauko authored Jul 19, 2019
  
  387be2bc
- lart: Introduce generic freeze/thaw instrumentation. · 967115eb
  Henrich Lauko authored Jul 19, 2019
  
  967115eb
- lart: Introduce map to track pairs of dual abstract/concrete operations. · c95a7186
  Henrich Lauko authored Jul 19, 2019
  
  c95a7186
- lart: Implement new stashing instrumentation. · 5d874e0c
  Henrich Lauko authored Jul 19, 2019
  
  5d874e0c
- lart: Clean up llvm metadata utilities. · 2d84fa69
  Henrich Lauko authored Jul 19, 2019
  
  2d84fa69
- lart: Fix branching instrumentation. · 037a1952
  Henrich Lauko authored Jul 19, 2019
  
  037a1952
- lart: Extend data flow analysis to support calls and memory manipulation. · 84bc0e72
  Henrich Lauko authored Jul 19, 2019
  
  84bc0e72
- bricks: Extend support of rpn formula representation. · 7f99417f
  Henrich Lauko authored Jul 19, 2019
  
  7f99417f
- dios: Rename constructors of symbolic values. · 02301a39
  Henrich Lauko authored Jul 19, 2019
  
  02301a39
- dios: Fix addition of negated constraints to the path condition. · 45a8ffc3
  Henrich Lauko authored Jul 19, 2019
  
  45a8ffc3
- dios: Introduce generic freeze and thaw functions. · 032140d6
  Henrich Lauko authored Jul 19, 2019
  
  032140d6
- dios: Implement term domain operations. · 23ecffd2
  Henrich Lauko authored Jul 19, 2019
  
  23ecffd2
Jun 19, 2019
- lart: Synthesize lifters to use domain virtual table dispatch. · 6effd174
  Henrich Lauko authored Jun 19, 2019
  
  6effd174
- lart: Handle abstract operations instead of placeholders in the tainting pass. · 4d59a57a
  Henrich Lauko authored Jun 19, 2019
  
  4d59a57a
- lart: Simplify syntactic abstraction pass. · a5d8f19c
  Henrich Lauko authored Jun 19, 2019
  
  a5d8f19c
- lart: Move support for dual metadata to the rest of the metadata related code. · 1108e8c8
  Henrich Lauko authored Jun 19, 2019
  
  1108e8c8
- lart: Obliterate obsolete code around abstract domains. · caa7c0ba
  Henrich Lauko authored Jun 19, 2019
  
  caa7c0ba
- lart: Rename lart placeholders to abstract operations. · 77f5cb90
  Henrich Lauko authored Jun 19, 2019
  
  77f5cb90
- lart: Remove obsolete abstraction memory cleanup pass. · 9f4ba241
  Henrich Lauko authored Jun 19, 2019
  
  9f4ba241
- lart: Generate abstract operations for branches instead of placeholders. · 2e184c74
  Henrich Lauko authored Jun 19, 2019
  
  2e184c74
- lart: Obliterate concretization pass. · 7d2f83bb
  Henrich Lauko authored Jun 19, 2019
  
  7d2f83bb
- lart: Simplify data flow analysis to the bare bone propagation. · d19b6dce
  Henrich Lauko authored Jun 19, 2019
  
  d19b6dce
- lart: Represent domain table by uniform 2 dimensional array. · 3437b708
  Henrich Lauko authored Jun 19, 2019
  
  3437b708
- rst: Rework term domain to maintain domain index in the first byte of rpn. · cfddd701
  Henrich Lauko authored Jun 19, 2019
  
  cfddd701
- rst: Change lift_one interface in the unit domain. · ff5273fe
  Henrich Lauko authored Jun 19, 2019
  
  ff5273fe