Commits · 24359454cf9ac6e387129fe4be5c5f0f9c16094b · paradise / mirror / DIVINE · GitLab

Mar 29, 2019
- rst: Merge symbolic segments with the same value after performing a store. · 24359454
  Henrich Lauko authored Mar 29, 2019
  
  24359454
- lart: Skip only nontransformable functions with 'ignore' tag. · 972ee4c6
  Henrich Lauko authored Mar 29, 2019
  
  972ee4c6
- rst: Implement strlen in the symbolic string segmentation. · ade7da28
  Henrich Lauko authored Mar 29, 2019
  
  ade7da28
- rst: Implement strchr of symbolic segmentation. · b23a6162
  Henrich Lauko authored Mar 29, 2019
  
  b23a6162
- rst: Remove outdated concrete split segmentation. · 5004a0c0
  Henrich Lauko authored Mar 29, 2019
  
  5004a0c0
- rst: Consider string offset in split strchr implementation. · 98668446
  Henrich Lauko authored Mar 29, 2019
  
  98668446
- rst: Consider string offset in split read/write implementation. · 71b3c824
  Henrich Lauko authored Mar 29, 2019
  
  71b3c824
- rst: Set mstring offset in __mstring_gep implementation. · 29859627
  Henrich Lauko authored Mar 29, 2019
  
  29859627
- rst: Introduce undefined memchr, fread and fwrite in mstring domain. · 2bec42f9
  Henrich Lauko authored Mar 29, 2019
  
  2bec42f9
- rst: Introduce __mstring_memcpy. · 11af8a70
  Henrich Lauko authored Mar 29, 2019
  
  11af8a70
- rst: Introduce memory intrinsics to mstring abstraction. · 145df832
  Henrich Lauko authored Mar 29, 2019
  
  145df832
- rst: Implement realloc for mstring abstraction. · 72c23f42
  Henrich Lauko authored Mar 29, 2019
  
  72c23f42
- rst: Rework indexing of split segmentation to use unsigned values. · e4f05b9a
  Henrich Lauko authored Mar 29, 2019
  
  e4f05b9a
- rst: Refactor implementation of a split section. · d3586ef3
  Henrich Lauko authored Mar 29, 2019
  
  d3586ef3
- lart: Simplify queries about the presence of abstract metadata. · 1d90bea6
  Henrich Lauko authored Mar 29, 2019
  
  1d90bea6
- lart: Generate aggregate metadata during the VPA. · c048dc2d
  Henrich Lauko authored Mar 29, 2019
  
  c048dc2d
- rst: Remove obsolete code from the generic content domain. · af918cb6
  Henrich Lauko authored Mar 29, 2019
  
  af918cb6
- test: Add split segmentation tests on a combination of strchr and strcmp. · 774e8c84
  Henrich Lauko authored Mar 29, 2019
  
  774e8c84
- test: Update the usage of split section interface. · 8e6b07db
  Henrich Lauko authored Mar 29, 2019
  
  8e6b07db
- rst: Change mstring pointers from Marked to Heap pointers. · 91299932
  Henrich Lauko authored Mar 29, 2019
  
  91299932
- rst: Fix dump of split segmentation. · 99de800d
  Henrich Lauko authored Mar 29, 2019
  
  99de800d
- rst: Enable offsetting of split segmentation. · 1195a065
  Henrich Lauko authored Mar 29, 2019
  
  1195a065
- rst: Mark mstring-strcat-b as todo. · 7f75f8e9
  Henrich Lauko authored Mar 29, 2019
  
  7f75f8e9
- test: Mark mstring tests as symbolic. · e1dc7bc9
  Henrich Lauko authored Mar 29, 2019
  
  e1dc7bc9
- rst: Annotate abstract lifts by domain specification metadata. · 4f1b4cc8
  Henrich Lauko authored Mar 29, 2019
  
  4f1b4cc8
- lart: Extract domain specification from a lift instead of a global variable. · c9526486
  Henrich Lauko authored Mar 29, 2019
  
  c9526486
Mar 28, 2019
- test: Add tests of symbolic segmentation. · 73e23c65
  Henrich Lauko authored Mar 28, 2019
  
  73e23c65
Mar 26, 2019
- rst: Skip empty segments in the strcmp of symbolic string segmentation. · 1cc3620f
  Henrich Lauko authored Mar 26, 2019
  
  1cc3620f
- lart: Implement symbolic segmentation strchr. · d8511ee4
  Henrich Lauko authored Mar 26, 2019
  
  d8511ee4
Mar 24, 2019
- rst: Introduce symbolic split segmentation. · 70d6d768
  Henrich Lauko authored Mar 24, 2019
  
  70d6d768
Mar 21, 2019
- test: Mark test with unsupported mstring memcpy as 'todo'. · 9c56c21c
  Henrich Lauko authored Mar 21, 2019
  
  9c56c21c
Mar 18, 2019
- rst: Remove obsolete poke call from __mstring_val. · 1b2f9e6a
  Henrich Lauko authored Mar 18, 2019
  
  1b2f9e6a
Mar 17, 2019
- test: Test moving of underlying memory of mstring. · 738f95a6
  Henrich Lauko authored Mar 17, 2019
  
  738f95a6
Mar 13, 2019
- test: Add split segmentation strchr tests. · f46f4769
  Henrich Lauko authored Mar 13, 2019
  
  f46f4769
- test: Remove todo from mstring strchr tests. · e3b2886d
  Henrich Lauko authored Mar 13, 2019
  
  e3b2886d
- rst: Implement split strchr. · 61f116ee
  Henrich Lauko authored Mar 13, 2019
  
  61f116ee
- test: Add split segmentation offset tests. · 4290731c
  Henrich Lauko authored Mar 13, 2019
  
  4290731c
Mar 21, 2019
- lart: Synthesize undefined value if intrinsic arguments are not abstract. · 3723896e
  Henrich Lauko authored Mar 21, 2019
  
  3723896e
- lart: Get around errors in abstract getelementptr transformation. · 64d6fc48
  Henrich Lauko authored Mar 21, 2019
  
  64d6fc48
Mar 20, 2019
- lart: Simplify queries about presence of abstract metadata. · dc823e94
  Henrich Lauko authored Mar 20, 2019
  
  dc823e94