Commits · 63237c11602f4aceb24709536ef3b4596057655f · paradise / mirror / DIVINE · GitLab

Aug 07, 2019
- lart: Memorize stashed arguments bundle types. · 63237c11
  Henrich Lauko authored Aug 07, 2019
  
  63237c11
- lart: Remove 'union' abstract operation. · 3fac1077
  Henrich Lauko authored Aug 07, 2019
  
  3fac1077
- lart: Fix backward propagation of repeated output argument. · 311f8cc4
  Henrich Lauko authored Aug 07, 2019
  
  311f8cc4
- lart: Enable pruning of propagation according to ignore annotations. · 6d846983
  Henrich Lauko authored Aug 07, 2019
  
  6d846983
- lart: Clean up SFINAE in tainting pass. · 08799e54
  Henrich Lauko authored Aug 07, 2019
  
  08799e54
- test: Temporarily mark symbolic float test as todo. · 062f4d22
  Henrich Lauko authored Aug 07, 2019
  
  062f4d22
- lart: Introduce simple output argument propagation. · 234b2bc5
  Henrich Lauko authored Aug 07, 2019
  
  234b2bc5
- test: Turn off mstring tests. · cb1c0d2d
  Henrich Lauko authored Aug 07, 2019
  
  cb1c0d2d
- lart: Enable DFA to propagate through ptrtoint/inttoptr. · 40db9d5c
  Henrich Lauko authored Aug 07, 2019
  
  40db9d5c
- lart: Fix annotation of abstract scalar arguments. · 5d22fa59
  Henrich Lauko authored Aug 07, 2019
  
  5d22fa59
- lart: Implement propagation through GEP instructions. · 21de586e
  Henrich Lauko authored Aug 07, 2019
  
  21de586e
- lart: Refactor data flow analysis. · c16c3b62
  Henrich Lauko authored Aug 07, 2019
  
  c16c3b62
Aug 05, 2019
- lart: Forbid annotation of abstract constants. · e05fbcc6
  Henrich Lauko authored Aug 05, 2019
  
  e05fbcc6
- lart: Synthesize domain specific thaw lifters. · 691d7883
  Henrich Lauko authored Aug 05, 2019
  
  691d7883
- lart: Enable bidirectional DFA through cast instructions. · 9fc4eb99
  Henrich Lauko authored Aug 05, 2019
  
  9fc4eb99
- lart: Do not annotate bitcasts in data flow analysis. · b78c730e
  Henrich Lauko authored Aug 05, 2019
  
  b78c730e
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