Commits · ed4390fd103a45c4e80651b6a290bff2a01f6549 · 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.

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
Nov 16, 2018
- dios: Replace std::string in fs::Socket::Address with Array< char >. · 2c1c5c24
  Petr Rockai authored Nov 16, 2018
  
  2c1c5c24
- dios: Add an assign( size, iterator, iterator ) method to Array. · 6a1a61b9
  Petr Rockai authored Nov 16, 2018
  
  6a1a61b9
Nov 15, 2018
- dios: Replace std::string with Array< char > in fs::SymLink. · b22b1eb9
  Petr Rockai authored Nov 15, 2018
  
  b22b1eb9
- dios: Remove the __trapfn annotation from userspace syscall wrappers. · a8851aa0
  Petr Rockai authored Nov 15, 2018
  
  a8851aa0
- dios: Axe the 'return void using a long jump' hack. · b193a2ed
  Petr Rockai authored Nov 15, 2018
  
  b193a2ed
- dios: Simplify the syscall mechanism somewhat. · 6a1c5129
  Petr Rockai authored Nov 15, 2018
  
  6a1c5129
Nov 16, 2018
- releng: Update for 4.1.18 · dd00e737
  Release Bot authored Nov 16, 2018
  
  4.1.18
  
  dd00e737
Nov 15, 2018
- dios: Add missing #include's (for declarations of argument types) to syscall.h. · 62537ea6
  Petr Rockai authored Nov 15, 2018
  
  62537ea6
- dios: Always use qualified names for structs in syscall.def. · 23f2be56
  Petr Rockai authored Nov 15, 2018
  
  23f2be56
- dios: Add missing __nothrow to a few syscall declarations. · 2b285022
  Petr Rockai authored Nov 15, 2018
  
  2b285022
- VM: Include the current global variables in the root set for leak checking. · e4c823cb
  Petr Rockai authored Nov 15, 2018
  
  e4c823cb
- dios: Clone global variables correctly during fork(). · e1158b15
  Petr Rockai authored Nov 15, 2018
  
  e1158b15
- test: Update sim tests since the dios fault handler name has changed. · 480b115b
  Petr Rockai authored Nov 15, 2018
  
  480b115b
Nov 14, 2018
- dios: Fix an out of bounds access when parsing the 'ncpus' option. · a67d9581
  Petr Rockai authored Nov 14, 2018
  
  a67d9581
- dios: Wrap _PDCLIB/io.h prototypes in extern "C". · 3a975614
  Petr Rockai authored Nov 14, 2018
  
  3a975614
- dios: Tweak _DIVINE_strtol so that it can be used with unterminated strings. · 23b1cdb0
  Petr Rockai authored Nov 14, 2018
  
  23b1cdb0
- dios: Get rid of a no-op reinterpret_cast in Array. · f531120f
  Petr Rockai authored Nov 14, 2018
  
  f531120f
- dios: Add an efficient append() method to Array. · 948ea802
  Petr Rockai authored Nov 14, 2018
  
  948ea802
- dios: Replace std::string with Array for stdio trace buffering. · c35744ea
  Petr Rockai authored Nov 14, 2018
  
  c35744ea