Commits · b25710f704895ac2e09e419545624df5117eb618 · paradise / mirror / DIVINE · GitLab

Nov 25, 2018
- VM: Re-arrange control registers to allow only a prefix to be persisted. · b25710f7
  Petr Rockai authored Nov 25, 2018
  
  b25710f7
- UI: Catch and print bad trace exceptions. · 233cc638
  Petr Rockai authored Nov 25, 2018
  
  233cc638
- MC: Throw a (hopefully informative) exception upon bad CE traces. · 1c1b0a49
  Petr Rockai authored Nov 25, 2018
  
  1c1b0a49
Jun 19, 2018
- MC: Print an error when an invalid trace happens (works in release mode too). · 90308efc
  Petr Rockai authored Jun 19, 2018
  
  90308efc
May 09, 2018
- SS: Terminate earlier when processing a single vertex takes a long time. · 367c1fac
  Petr Rockai authored May 09, 2018
  
  367c1fac
Nov 24, 2018
- VM: Implement simple reference counting for memory objects. · 5c5d2cab
  Petr Rockai authored Nov 24, 2018
  
  5c5d2cab
- VM: Remove the unused IntFrame control register. · c279d77d
  Petr Rockai authored Nov 24, 2018
  
  c279d77d
- sim: Remove unused stack switching code (the stack is continuous nowadays). · 04f5b6de
  Petr Rockai authored Nov 24, 2018
  
  04f5b6de
Nov 23, 2018
- test: Add strerror_r tests. · ea2c8cbf
  Zuzana Baranová authored Nov 23, 2018
  
  ea2c8cbf
- dios: Replace std::string with Array< char > in fs::Directory. · 39a7d0a0
  Petr Rockai authored Nov 23, 2018
  
  39a7d0a0
- VM: Fix typos and articles. · da5ed3dd
  Zuzana Baranová authored Nov 23, 2018
  
  da5ed3dd
- dios: Derive whether host uses glibc via hostabi. · d1f41d94
  Zuzana Baranová authored Nov 23, 2018
  
  d1f41d94
- libcxx: Call the correct version of strerror_r. · 438d7fe2
  Zuzana Baranová authored Nov 23, 2018
  
  438d7fe2
- dios: Support both POSIX (int) and GNU (char *) versions of strerror_r. · d0859cd7
  Zuzana Baranová authored Nov 23, 2018
  
  d0859cd7
Nov 22, 2018
- rst: Implement strcmp for mstring domain. · 34062216
  Henrich Lauko authored Nov 22, 2018
  
  34062216
- dios: Add missing const overloads to Array. · b1c64d4f
  Henrich Lauko authored Nov 22, 2018
  
  b1c64d4f
Nov 21, 2018
- test: Pass buffer length to mstring constructors. · 558f20aa
  Henrich Lauko authored Nov 21, 2018
  
  558f20aa
- rst: Adjust mstring constructor to take buffer length. · fa8189d8
  Henrich Lauko authored Nov 21, 2018
  
  fa8189d8
Nov 20, 2018
- rst: Fix freeze and thaw in star domain. · 177c0d6f
  Henrich Lauko authored Nov 20, 2018
  
  177c0d6f
Nov 16, 2018
- lart: Fix propagation of floating-point abstraction. · ed4390fd
  Henrich Lauko authored Nov 16, 2018
  
  ed4390fd
- test: Add basic tests for mstring abstraction. · d6213129
  Henrich Lauko authored Nov 16, 2018
  
  d6213129
Nov 15, 2018
- rst: Implement mstring strlen. · 617aee4f
  Henrich Lauko authored Nov 15, 2018
  
  617aee4f
- rst: Introduce lart placeholder for string abstraction operation. · 40c14f16
  Henrich Lauko authored Nov 15, 2018
  
  40c14f16
- rst: Initialize nullpointer taint. · f5f2bf15
  Henrich Lauko authored Nov 15, 2018
  
  f5f2bf15
- rst: Implement constructor of mstring. · dc758fa8
  Henrich Lauko authored Nov 15, 2018
  
  dc758fa8
- rst: Introduce lift and strlen in string domain definition. · 4f1a1e02
  Henrich Lauko authored Nov 15, 2018
  
  4f1a1e02
- lart: Implement transformation for string based domains. · f99acf91
  Henrich Lauko authored Nov 15, 2018
  
  f99acf91
- lart: Detect transformable instructions for string based domain. · e84d3ac6
  Henrich Lauko authored Nov 15, 2018
  
  e84d3ac6
- lart: Update propagable instructions for scalar and string domain. · 7e55a323
  Henrich Lauko authored Nov 15, 2018
  
  7e55a323
- rst: Enable tainting of existing pointer. · 594a9b6e
  Henrich Lauko authored Nov 15, 2018
  
  594a9b6e
- lart: Add abstraction metadata to generated placeholders. · e9dcc454
  Henrich Lauko authored Nov 15, 2018
  
  e9dcc454
Nov 12, 2018
- lart: Let placeholder return type to remain concrete if it is not in a domain. · 30267ccf
  Henrich Lauko authored Nov 12, 2018
  
  30267ccf
- lart: Enable stashing of values from string domain. · 916ec3c7
  Henrich Lauko authored Nov 12, 2018
  
  916ec3c7
Nov 09, 2018
- lart: Run VPA once more to propagate through decasted values. · 25c50991
  Henrich Lauko authored Nov 09, 2018
  
  25c50991
- lart: Distinguish propagable and transformable instructions based on domain kind. · 2e97755d
  Henrich Lauko authored Nov 09, 2018
  
  2e97755d
Nov 08, 2018
- lart: Refine work with abstract metadata. · c2b34a30
  Henrich Lauko authored Nov 08, 2018
  
  c2b34a30
- lart: Guide value propagation analysis according to the domain type. · 48bbaa41
  Henrich Lauko authored Nov 08, 2018
  
  48bbaa41
- rst: Introduce m-string domain. · 218a3f71
  Henrich Lauko authored Nov 08, 2018
  
  218a3f71
- rst: Introduce string domain definitions. · 727f5f34
  Henrich Lauko authored Nov 08, 2018
  
  727f5f34
- rst: Add __tainted_ptr definition. · 437061d2
  Henrich Lauko authored Nov 08, 2018
  
  437061d2