Commits · 73d1679f8fb3aaccc8c719b51638e169496fd150 · paradise / mirror / DIVINE · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Dec 04, 2019
- lart: Add short comments to libc_indirect_calls pass. · 73d1679f
  Lukáš Korenčik authored Dec 04, 2019
  
  73d1679f
Nov 21, 2019
- lart: Add pass that adds undef args to indirect call in __pthread_start. · 82eb9f18
  Lukáš Korenčik authored Nov 21, 2019
  
  82eb9f18
- 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