Commits · 329055d2e2c4cbe8266d58767dfece94086cb568 · paradise / mirror / DIVINE

Nov 21, 2019
- lart: Add ptr() to LLVMUtil. · 329055d2
  Lukáš Korenčik authored Nov 21, 2019
  
  329055d2
Oct 04, 2019
- dios: Always link a few libm functions as they are used in intrinsic lowering. · 586fb8e8
  Lukáš Korenčik authored Oct 04, 2019
  
  586fb8e8
Nov 12, 2019
- test: Add mcsema flavour. · 2a2dd65c
  Lukáš Korenčik authored Nov 12, 2019
  
  2a2dd65c
Dec 04, 2019
- rst: Define general abstract value type. · 88e6d9bc
  Henrich Lauko authored Dec 04, 2019
  
  88e6d9bc
Dec 05, 2019
- rst: Fix abstract types in lifter templates. · dfcaa84d
  Henrich Lauko authored Dec 05, 2019
  
  dfcaa84d
- rst: Refactor abstract domains to use snake case naming. · 47fa5361
  Henrich Lauko authored Dec 05, 2019
  
  47fa5361
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

Admin message