Commits · 849568d0cc6e3d235e71acd589a7904be68c260c · paradise / mirror / DIVINE · GitLab

Aug 08, 2019
- rst: Fix naming of abstract 'unit' constructors. · 849568d0
  Henrich Lauko authored Aug 08, 2019
  
  849568d0
- rst: Add missing constructors of abstract values. · e5d0ba95
  Henrich Lauko authored Aug 08, 2019
  
  e5d0ba95
- dios: Introduce header file with constructors of abstract values. · 73b6641d
  Henrich Lauko authored Aug 08, 2019
  
  73b6641d
- rst: Remove outdated abstractions. · a34da80f
  Henrich Lauko authored Aug 08, 2019
  
  a34da80f
- rst: Let content domain GEP instruction take a signed offset. · b6e59b29
  Henrich Lauko authored Aug 08, 2019
  
  b6e59b29
- rts: Fix merging of mstring blocks with the same character. · 0a4ee3a9
  Henrich Lauko authored Aug 08, 2019
  
  0a4ee3a9
- test: Fix construction of abstract star. · 0f5b5696
  Henrich Lauko authored Aug 08, 2019
  
  0f5b5696
- lart: Fix annotation of trapfn functions. · 312d71ce
  Henrich Lauko authored Aug 08, 2019
  
  312d71ce
- bricks: Add missing switch case to symbolic bitwidth identification. · 9adfcfc9
  Henrich Lauko authored Aug 08, 2019
  
  9adfcfc9
- lart: Temporarily turn off abstraction unit tests. · aa7737d6
  Henrich Lauko authored Aug 07, 2019
  
  aa7737d6
- mc: Fix tracing of assumes. · be34030f
  Henrich Lauko authored Aug 07, 2019
  
  be34030f
- lart: Update abstraction related interrupt instrumentation. · ddf75635
  Henrich Lauko authored Aug 07, 2019
  
  ddf75635
Aug 07, 2019
- lart: Enable propagation from global variables. · e215380e
  Henrich Lauko authored Aug 07, 2019
  
  e215380e
- lart: Detect fixed point of recursive backward propagation. · f8090b1b
  Henrich Lauko authored Aug 07, 2019
  
  f8090b1b
- 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