Commits · 2796dc980163c067abf47d35b609feb6f51bf862 · paradise / mirror / DIVINE

Dec 03, 2019
- rst: Implement user interface to abstract domain base byte. · 2796dc98
  Henrich Lauko authored Dec 03, 2019
  
  2796dc98
Nov 12, 2019
- rst: Add floating point casts lifter templates. · 86020657
  Henrich Lauko authored Nov 12, 2019
  
  86020657
Oct 25, 2019
- lart: Fix construction of tainted floating point value. · b00a93d3
  Henrich Lauko authored Oct 25, 2019
  
  b00a93d3
Dec 05, 2019
- rst: Implement lift_one for mstring domain. · 9174ff66
  Henrich Lauko authored Dec 05, 2019
  
  9174ff66
- rst: Rework mstring data representation. · 02152adb
  Henrich Lauko authored Dec 05, 2019
  
  02152adb
- rst: Fix bitwidth comparisons in constant domain. · 8396eb5c
  Henrich Lauko authored Dec 05, 2019
  
  8396eb5c
Dec 04, 2019
- rst: Add new prototypes of mstring constructors. · fc03783d
  Henrich Lauko authored Dec 04, 2019
  
  fc03783d
- rst: Create template of mstring domain. · 7488ace7
  Henrich Lauko authored Dec 04, 2019
  
  7488ace7
- lart: Do not generate metadata for pointers that point to abstract values. · fec25fec
  Henrich Lauko authored Dec 04, 2019
  
  fec25fec
- lart: Fix detection of abstract constructors. · 6b87963c
  Henrich Lauko authored Dec 04, 2019
  
  6b87963c
Dec 03, 2019
- lart: Fix resolve of indirect function call on inttoptr. · eea5c09d
  Henrich Lauko authored Dec 03, 2019
  
  eea5c09d
- rst: Add pointer lifter to unit domain. · 38c4133d
  Henrich Lauko authored Dec 03, 2019
  
  38c4133d
Oct 22, 2019
- lart: Do not unstash faultable calls twice. · c8d571ba
  Henrich Lauko authored Oct 22, 2019
  
  c8d571ba
- lart: Detect faultable abstract calls. · 34ca091d
  Henrich Lauko authored Oct 22, 2019
  
  34ca091d
Dec 03, 2019
- rst: Suppress inlining of abstraction to fix assignment of operation indices. · 9a6890ca
  Henrich Lauko authored Dec 03, 2019
  
  9a6890ca
Oct 22, 2019
- rst: Correct stashing of return value in gep lifter teplate. · c88e1f11
  Henrich Lauko authored Oct 22, 2019
  
  c88e1f11
- rst: Add comparison operators to scalar wrapper domain. · b78ae313
  Henrich Lauko authored Oct 22, 2019
  
  b78ae313
- rst: Enable lowering in scalar wrapper domain if value is constant. · 61ef0f6a
  Henrich Lauko authored Oct 22, 2019
  
  61ef0f6a
- rat: Implement lowering of constant abstract values. · 58dd406c
  Henrich Lauko authored Oct 22, 2019
  
  58dd406c
- rst: Add bool operator to scalar wrapper domain. · de4a875f
  Henrich Lauko authored Oct 22, 2019
  
  de4a875f
Oct 18, 2019
- lart: Lower annotations before abstraction initialization. · 49a34e3b
  Henrich Lauko authored Oct 18, 2019
  
  49a34e3b
Oct 15, 2019
- rst: Introduce c++ wrapper for scalar abstract domains. · 372ae8e0
  Henrich Lauko authored Oct 15, 2019
  
  372ae8e0
- rst: Implement detection idiom to rst utils. · 610d201f
  Henrich Lauko authored Oct 15, 2019
  
  610d201f
Dec 03, 2019
- lart: Yield unsupported allocation of abstract size. · e9155a2a
  Henrich Lauko authored Dec 03, 2019
  
  e9155a2a
Nov 12, 2019
- lart: Fix type bitwidth acquisition. · d38f4c1f
  Henrich Lauko authored Nov 12, 2019
  
  d38f4c1f
- dios: Link always missing libm functions. · 5240ae0c
  Henrich Lauko authored Nov 12, 2019
  
  5240ae0c
- rst: Fix acquisition of bitwidth from terms. · cbf6dad6
  Henrich Lauko authored Nov 12, 2019
  
  cbf6dad6
- bricks: Fix creation of bool term variable. · 3f34c5dc
  Henrich Lauko authored Nov 12, 2019
  
  3f34c5dc
Oct 26, 2019
- libc: Let calloc return null for zero size. · a04d05d2
  Henrich Lauko authored Oct 26, 2019
  
  a04d05d2
Oct 25, 2019
- lart: Do not lower global values as constant expressions. · b3fc3e0e
  Henrich Lauko authored Oct 25, 2019
  
  b3fc3e0e
Oct 11, 2019
- lart: Lower abstracted constant expressions. · 395dadd1
  Henrich Lauko authored Oct 11, 2019
  
  395dadd1
Dec 03, 2019
- rst: Add lift of aggregates to unit domain. · c008bd16
  Henrich Lauko authored Dec 03, 2019
  
  c008bd16
Dec 02, 2019

rst: Refactor unit abstract domain. · 0b34b4b1

Henrich Lauko authored Dec 02, 2019


Unit domain is now merged with UnitAggregate domain and
all its values points to a single unit domain ID.

0b34b4b1

Nov 25, 2019
- lart: Stub aggregate lifters. · 72d22a8d
  Adam Matoušek authored Nov 25, 2019
  
  72d22a8d
Dec 03, 2019
- lart: Generate unique names of insert/extractvalue lifters. · 17bf8c0f
  Henrich Lauko authored Dec 03, 2019
  
  17bf8c0f
Dec 02, 2019
- lart: Allow pointer type in propagation from extractvalue. · 34a8d814
  Henrich Lauko authored Dec 02, 2019
  
  34a8d814
- lart: Implement lifting of undefined arguments of insertvalues. · 2a88aa4e
  Henrich Lauko authored Dec 02, 2019
  
  2a88aa4e
- lart: Extract abstract pointer metadata to type map. · 0d889239
  Henrich Lauko authored Dec 02, 2019
  
  0d889239
- lart: Fix data-flow analysis join on newly discovered value. · f1f42d51
  Henrich Lauko authored Dec 02, 2019
  
  f1f42d51
- lart: Fix data-flow analysis through gep instructions. · 387a10bf
  Henrich Lauko authored Dec 02, 2019
  
  387a10bf

Admin message