Commits · 5ff5b10ad9683a51ea22259f5a34aaf55aa5f147 · paradise / mirror / DIVINE · GitLab

Oct 11, 2018
- rst: Implement generation of a floating point interface for abstract domains. · 5ff5b10a
  Henrich Lauko authored Oct 11, 2018
  
  5ff5b10a
- lart: Unify floating point tag prefix. · 04377686
  Henrich Lauko authored Oct 11, 2018
  
  04377686
Sep 13, 2018
- rst: Separate integer-domain spacific definitions from common definitions. · 95a2554f
  Henrich Lauko authored Sep 13, 2018
  
  95a2554f
Oct 27, 2018
- VM: Allow objid_offset() to be set when reading values. · fa3ebe4f
  Petr Rockai authored Oct 27, 2018
  
  fa3ebe4f
- VM: Improve unit test coverage of objid handling in value::Int. · b7e18595
  Petr Rockai authored Oct 27, 2018
  
  b7e18595
- mem: Handle a few more cases when read()-ing pointers. · 59f025ed
  Petr Rockai authored Oct 27, 2018
  
  59f025ed
Oct 26, 2018
- dbg: Check the correct byte for taints when printing formulas. · 247604b7
  Petr Rockai authored Oct 26, 2018
  
  247604b7
- dbg: Make formula formatting in Node a little more civilised. · 0a597759
  Petr Rockai authored Oct 26, 2018
  
  0a597759
- dbg: Fix acquisition of formulas from usermeta. · ec1d6a14
  Petr Rockai authored Oct 26, 2018
  
  ec1d6a14
Jun 19, 2018
- dbg: Update formula extraction code in Node. · 963ea141
  Petr Rockai authored Jun 19, 2018
  
  963ea141
Oct 26, 2018
- VM: Fix unit tests (inter-heap comparison is currently not possible). · 98b4ee9c
  Petr Rockai authored Oct 26, 2018
  
  98b4ee9c
- mem: Fix semantic vs byte-wise comparison of metadata. · cd3472a1
  Petr Rockai authored Oct 26, 2018
  
  cd3472a1
- mem: Clean up metadata upon object deduplication (fixes incorrect behaviour). · 34ad68a1
  Petr Rockai authored Oct 26, 2018
  
  34ad68a1
Oct 25, 2018
- mem: Fix up a few regressions in heap::compare(). · 87be731d
  Petr Rockai authored Oct 25, 2018
  
  87be731d
- test: Fix solver setup, especially for vanilla-flavoured tests. · c03aac5f
  Petr Rockai authored Oct 25, 2018
  
  c03aac5f
- mem: Use objid's instead of pointers for structure tracking in heap::compare(). · 51c131f8
  Petr Rockai authored Oct 25, 2018
  
  51c131f8
- MC: Allow 'none' to be specified as a solver. · fac492f7
  Petr Rockai authored Oct 25, 2018
  
  fac492f7
- mem: Clean up and generalise heap::compare(). · 3fb5fe67
  Petr Rockai authored Oct 25, 2018
  
  3fb5fe67
Sep 10, 2018
- test: Add a simple test of 'star' domain. · 4b0ecb2f
  Henrich Lauko authored Sep 10, 2018
  
  4b0ecb2f
- rst: Implement abstract 'star' domain. · 06e3f9e3
  Henrich Lauko authored Sep 10, 2018
  
  06e3f9e3
- rst: Create interface to 'star' domain. · 0ec02dfb
  Henrich Lauko authored Sep 10, 2018
  
  0ec02dfb
- lart: Implement unstash for integer based abstract types. · 3168b4a8
  Henrich Lauko authored Sep 10, 2018
  
  3168b4a8
- lart: Introduce zero as default value for integer based domains. · eb115d6a
  Henrich Lauko authored Sep 10, 2018
  
  eb115d6a
Sep 06, 2018
- lart: Remove obsolete glue code from domain substitution. · 1fdb4aa6
  Henrich Lauko authored Sep 06, 2018
  
  1fdb4aa6
Sep 05, 2018
- rst: Remove declaration of freeze and thaw from symbolic domain. · 227fe024
  Henrich Lauko authored Sep 05, 2018
  
  227fe024
- rst: Generate freeze and thaw declaration from domain template. · c609ff1f
  Henrich Lauko authored Sep 05, 2018
  
  c609ff1f
- lart: Let Synthesize pass make use of domain metadata. · e7a16635
  Henrich Lauko authored Sep 05, 2018
  
  e7a16635
- lart: Remove DomainsHolder dependency from Tainting pass. · f4f98c00
  Henrich Lauko authored Sep 05, 2018
  
  f4f98c00
- lart: Remove DomainsHolder dependency from FreezeStores pass. · 51fa4137
  Henrich Lauko authored Sep 05, 2018
  
  51fa4137
- lart: Remove dependency on DomainsHolder from InDomainDuplicate pass. · 08950eac
  Henrich Lauko authored Sep 05, 2018
  
  08950eac
- lart: Implement domain metadata utilities. · 7bcba6b3
  Henrich Lauko authored Sep 05, 2018
  
  7bcba6b3
- rst: Add domain kind to the zero domain. · efd7b454
  Henrich Lauko authored Sep 05, 2018
  
  efd7b454
- rst: Generate default type in the domain specification structure. · 3c5b4f91
  Henrich Lauko authored Sep 05, 2018
  
  3c5b4f91
Sep 04, 2018
- lart: Fix function metadata tags. · 18bc7f63
  Henrich Lauko authored Sep 04, 2018
  
  18bc7f63
- lart: Fix metadata of returned abstract values. · 37deebf1
  Henrich Lauko authored Sep 04, 2018
  
  37deebf1
Jun 28, 2018
- rst: Initialize global '__tainted' zero. · 9f52bec0
  Henrich Lauko authored Jun 28, 2018
  
  9f52bec0
Jun 20, 2018
- rst: Move taint support to 'rst/common.h'. · a5a50195
  Henrich Lauko authored Jun 20, 2018
  
  a5a50195
Jul 13, 2018
- lart: Introduce basic abstract domain kinds. · b0f358aa
  Henrich Lauko authored Jul 13, 2018
  
  b0f358aa
- lart: Generate absraction metadata from domain annotations. · d94a994e
  Henrich Lauko authored Jul 13, 2018
  
  d94a994e
- rst: Fix domain annotation namespaces. · cce42765
  Henrich Lauko authored Jul 13, 2018
  
  cce42765