Code

Null Byte Array Domain#1076

Code

Merged

sim642 merged 124 commits intogoblint:mastergoblint/analyzer:masterfrom nathanschmidt:null-byte-arrayDomainnathanschmidt/goblint-analyzer:null-byte-arrayDomainCopy head branch name to clipboardDec 12, 2023

+2,012-118

Commits

Commits on May 18, 2023

• Merge branch 'base-string-analyses' of github.com:nathanschmidt/goblint-analyzer into null-byte-arrayDomain

  nathanschmidt

  committed
  3ca0419

  Copy full SHA for 3ca0419

Commits on May 23, 2023

• Very first (incomplete) draft for Must Null Byte Domain

  nathanschmidt

  committed
  2a53cbb

  Copy full SHA for 2a53cbb

Commits on May 30, 2023

• Draft for complete Null Byte Domain

  Show description for 7798c04
  nathanschmidt

  committed
  7798c04

  Copy full SHA for 7798c04

• Added functions for strstr and str(n)cmp to Null Byte Domain

  nathanschmidt

  committed
  d59b45e

  Copy full SHA for d59b45e

Commits on May 31, 2023

• First adaptations to AttributeConfiguredArrayDomain

  nathanschmidt

  committed
  7a41dc4

  Copy full SHA for 7a41dc4

Commits on Jun 6, 2023

• Finished draft of Null Byte Array Domain

  nathanschmidt

  committed
  f940d01

  Copy full SHA for f940d01

• Merge branch 'base-string-analyses' of github.com:nathanschmidt/goblint-analyzer into null-byte-arrayDomain

  nathanschmidt

  committed
  8915ae9

  Copy full SHA for 8915ae9

• Merge branch 'base-string-analyses' of github.com:nathanschmidt/goblint-analyzer into null-byte-arrayDomain

  nathanschmidt

  committed
  fa3f7f6

  Copy full SHA for fa3f7f6

• Merge branch 'base-string-analyses' of github.com:nathanschmidt/goblint-analyzer into null-byte-arrayDomain

  nathanschmidt

  committed
  9fc814d

  Copy full SHA for 9fc814d

• Addressed github-code-scanning suggestions

  nathanschmidt

  committed
  a912463

  Copy full SHA for a912463

Commits on Jun 8, 2023

• Fixed integration of domain for base analysis

  Show description for fb65c1c
  nathanschmidt

  committed
  fb65c1c

  Copy full SHA for fb65c1c

• Fixed incompatible ikinds: changed !Cil.kindOfSizeOf to ILong

  nathanschmidt

  committed
  b49a043

  Copy full SHA for b49a043

• Merge branch 'goblint:master' into null-byte-arrayDomain

  nathanschmidt

  authored
  6023d47

  Copy full SHA for 6023d47

Commits on Jun 9, 2023

• Introduced case for value = bot in make of NullByte

  nathanschmidt

  committed
  00941e7

  Copy full SHA for 00941e7

• Merge branch 'goblint:master' into null-byte-arrayDomain

  nathanschmidt

  authored
  85d8ae6

  Copy full SHA for 85d8ae6

• Merge remote-tracking branch 'origin/null-byte-arrayDomain' into null-byte-arrayDomain

  nathanschmidt

  committed
  e3a03cd

  Copy full SHA for e3a03cd

Commits on Jun 11, 2023

• Handle bot for MustNulls / top for MayNulls properly

  nathanschmidt

  committed
  03085f5

  Copy full SHA for 03085f5

Commits on Jun 12, 2023

• Fixed usage of domain in base and minor fixes in logic

  Show description for d57ac9e
  nathanschmidt

  committed
  d57ac9e

  Copy full SHA for d57ac9e

Commits on Jun 13, 2023

• Added new thorough regression test

  nathanschmidt

  committed
  44bd644

  Copy full SHA for 44bd644

Commits on Jun 29, 2023

• Feature: better treatment of edge cases

  nathanschmidt

  committed
  472ece8

  Copy full SHA for 472ece8

Commits on Jul 4, 2023

• Pass argument to move_if_affected

  michael-schwarz

  committed
  6bf2d77

  Copy full SHA for 6bf2d77

• More missing optional arguments

  michael-schwarz

  committed
  60d0687

  Copy full SHA for 60d0687

Commits on Jul 5, 2023

• Merge branch 'goblint:master' into null-byte-arrayDomain

  nathanschmidt

  authored
  7ebefa8

  Copy full SHA for 7ebefa8

• Fixed integration in base using get thanks to Michael's workaround

  nathanschmidt

  committed
  3b2f4a5

  Copy full SHA for 3b2f4a5

Commits on Jul 10, 2023

• Tackled feedback: minor improvements and logic fix for not_null

  nathanschmidt

  committed
  5873e5f

  Copy full SHA for 5873e5f

• Fix macOS tests

  nathanschmidt

  committed
  40f0de7

  Copy full SHA for 40f0de7

• Fix test 04-char_arrays.c for macOS

  nathanschmidt

  authored
  2072258

  Copy full SHA for 2072258

Commits on Jul 11, 2023

• Updated is_not_null with case for potential null_ptr

  nathanschmidt

  committed
  9d21da4

  Copy full SHA for 9d21da4

Commits on Jul 20, 2023

• Update condition for non-zero return by strncmp

  nathanschmidt

  authored
  780e02a

  Copy full SHA for 780e02a

• Fix indentation

  nathanschmidt

  committed
  1bf625d

  Copy full SHA for 1bf625d

Commits on Jul 28, 2023

• Added examples of thesis

  nathanschmidt

  committed
  97cbb4e

  Copy full SHA for 97cbb4e

Commits on Aug 9, 2023

• Add tests from Juliet

  nathanschmidt

  committed
  545714e

  Copy full SHA for 545714e

• Add tests from Juliet

  nathanschmidt

  committed
  0acbf24

  Copy full SHA for 0acbf24

• Added larger example

  nathanschmidt

  committed
  f4d74e2

  Copy full SHA for f4d74e2

• Update 07-larger_example.c

  nathanschmidt

  authored
  a24546f

  Copy full SHA for a24546f

Commits on Aug 10, 2023

• Merge branch 'goblint:master' into null-byte-arrayDomain

  nathanschmidt

  authored
  7dce66d

  Copy full SHA for 7dce66d

• Modification to larger example

  nathanschmidt

  committed
  cc82623

  Copy full SHA for cc82623

• Merge branch 'null-byte-arrayDomain' of github.com:nathanschmidt/analyzer into null-byte-arrayDomain

  Show description for fcd98fa
  nathanschmidt

  committed
  fcd98fa

  Copy full SHA for fcd98fa

Commits on Sep 6, 2023

• Fixed cardinal on top, simplified compute_concat

  nathanschmidt

  committed
  b122f4c

  Copy full SHA for b122f4c

• Fixed content_to_top

  nathanschmidt

  committed
  4a088c9

  Copy full SHA for 4a088c9

Commits on Sep 7, 2023

• Minor bugfix, updated test IDs and annotations

  nathanschmidt

  committed
  fd95dbe

  Copy full SHA for fd95dbe

Commits on Sep 8, 2023

• Merge branch 'goblint:master' into null-byte-arrayDomain

  nathanschmidt

  authored
  d0acb0f

  Copy full SHA for d0acb0f

• Fixed test 06 for MacOS

  nathanschmidt

  committed
  e4d7e2b

  Copy full SHA for e4d7e2b

Commits on Sep 14, 2023

• Make it work with Blobs

  michael-schwarz

  committed
  0a57374

  Copy full SHA for 0a57374

• Update malloced strings destructively where possible

  michael-schwarz

  committed
  1aaec46

  Copy full SHA for 1aaec46

Commits on Sep 16, 2023

• Replaced type comparison with CilType.Typ.equal

  nathanschmidt

  committed
  a0a501c

  Copy full SHA for a0a501c

Commits on Sep 18, 2023

• Merge branch 'goblint:master' into null-byte-arrayDomain

  nathanschmidt

  authored
  bb373d2

  Copy full SHA for bb373d2

Commits on Sep 23, 2023

• Merge branch 'goblint:master' into null-byte-arrayDomain

  nathanschmidt

  authored
  5dd5da0

  Copy full SHA for 5dd5da0

• Solve failure Queries.ID.unlift

  nathanschmidt

  committed
  fa77d12

  Copy full SHA for fa77d12

• Draft for new regression tests

  nathanschmidt

  committed
  34c2037

  Copy full SHA for 34c2037

• Updated regression tests

  nathanschmidt

  committed
  e0d9a2a

  Copy full SHA for e0d9a2a

Commits on Sep 24, 2023

• Bot in string_manipulation: correct ik right away

  michael-schwarz

  committed
  5ebd1a1

  Copy full SHA for 5ebd1a1

• Escape \0 in XML for g2html compatibility

  michael-schwarz

  committed
  d0a90d8

  Copy full SHA for d0a90d8

• Add problematic example

  michael-schwarz

  committed
  2f7c07f

  Copy full SHA for 2f7c07f

• Make also fail in the CI

  michael-schwarz

  committed
  48d0e5d

  Copy full SHA for 48d0e5d

Commits on Oct 9, 2023

• Integrate review suggestions

  nathanschmidt

  committed
  5ac2f23

  Copy full SHA for 5ac2f23

• Added test cases to increase coverage

  nathanschmidt

  committed
  c407d3d

  Copy full SHA for c407d3d

• Merge branch 'master' into null-byte-arrayDomain

  nathanschmidt

  authored
  78d6420

  Copy full SHA for 78d6420

Commits on Nov 24, 2023

• Merge branch 'master' into null-byte-arrayDomain

  michael-schwarz

  committed
  87e76ab

  Copy full SHA for 87e76ab

• Address requested changes to invalidate_abstract_value

  michael-schwarz

  committed
  c1cced8

  Copy full SHA for c1cced8

• Simplify substring_extraction

  michael-schwarz

  committed
  e545108

  Copy full SHA for e545108

• Some simplifications

  michael-schwarz

  committed
  1343915

  Copy full SHA for 1343915

• Simplify AttributeConfiguredAndNullByteArrayDomain

  michael-schwarz

  committed
  5f62261

  Copy full SHA for 5f62261

• Steps towards simplifications

  michael-schwarz

  committed
  a50b1b8

  Copy full SHA for a50b1b8

• Attempts towards simplification

  michael-schwarz

  committed
  86b7c35

  Copy full SHA for 86b7c35

• Simplify

  michael-schwarz

  committed
  a354e63

  Copy full SHA for a354e63

Commits on Nov 25, 2023

• Simplify

  michael-schwarz

  committed
  8933c0a

  Copy full SHA for 8933c0a

• Simplify

  michael-schwarz

  committed
  09c069d

  Copy full SHA for 09c069d

• simplify

  michael-schwarz

  committed
  f8ee3d2

  Copy full SHA for f8ee3d2

• Cleanup

  michael-schwarz

  committed
  81c8b63

  Copy full SHA for 81c8b63

• Progress

  michael-schwarz

  committed
  8abc9c9

  Copy full SHA for 8abc9c9

• Simplify

  michael-schwarz

  committed
  f166671

  Copy full SHA for f166671

• Simplify

  michael-schwarz

  committed
  404e505

  Copy full SHA for 404e505

• Simplify

  michael-schwarz

  committed
  97c6c08

  Copy full SHA for 97c6c08

• Simplify

  michael-schwarz

  committed
  92d25b0

  Copy full SHA for 92d25b0

• Simplify

  michael-schwarz

  committed
  8db2966

  Copy full SHA for 8db2966

• Simplify

  michael-schwarz

  committed
  8318ad8

  Copy full SHA for 8318ad8

Commits on Nov 26, 2023

• Simplify

  michael-schwarz

  committed
  86872a1

  Copy full SHA for 86872a1

• Simplify

  michael-schwarz

  committed
  55d9a53

  Copy full SHA for 55d9a53

• simplify

  michael-schwarz

  committed
  b4d8bdb

  Copy full SHA for b4d8bdb

• Simplify

  michael-schwarz

  committed
  998feb8

  Copy full SHA for 998feb8

• Simplify

  michael-schwarz

  committed
  5468275

  Copy full SHA for 5468275

• SImplify

  michael-schwarz

  committed
  23b6f74

  Copy full SHA for 23b6f74

• Progress

  michael-schwarz

  committed
  0858696

  Copy full SHA for 0858696

• Simplify

  michael-schwarz

  committed
  74c7693

  Copy full SHA for 74c7693

• Simplify

  michael-schwarz

  committed
  cc90431

  Copy full SHA for cc90431

• Simplify

  michael-schwarz

  committed
  cee44cd

  Copy full SHA for cee44cd

• Introduce alias for Z, pull up warning function

  michael-schwarz

  committed
  5951b2a

  Copy full SHA for 5951b2a

• Progress

  michael-schwarz

  committed
  cd57e1f

  Copy full SHA for cd57e1f

• Progress

  michael-schwarz

  committed
  b85ed97

  Copy full SHA for b85ed97

• Pull things together

  michael-schwarz

  committed
  ef3f687

  Copy full SHA for ef3f687

• Alias for Z.add

  michael-schwarz

  committed
  984165f

  Copy full SHA for 984165f

• More reuse

  michael-schwarz

  committed
  2135296

  Copy full SHA for 2135296

• to_string free of direct set manipulation

  michael-schwarz

  committed
  34d2e1c

  Copy full SHA for 34d2e1c

• Move to operations on Nulls

  michael-schwarz

  committed
  df10ad6

  Copy full SHA for df10ad6

Commits on Nov 28, 2023

• Annotate faialing test as TODO

  michael-schwarz

  committed
  1a0fdb9

  Copy full SHA for 1a0fdb9

• Simplify

  michael-schwarz

  committed
  2b8e3fa

  Copy full SHA for 2b8e3fa

• Simplify

  michael-schwarz

  committed
  f51d60f

  Copy full SHA for f51d60f

• Simplify

  michael-schwarz

  committed
  0a47ea2

  Copy full SHA for 0a47ea2

• Simplify

  michael-schwarz

  committed
  272e496

  Copy full SHA for 272e496

• Remove idx_maximal hack

  michael-schwarz

  committed
  3ebc74d

  Copy full SHA for 3ebc74d

• Simplify

  michael-schwarz

  committed
  63bd31a

  Copy full SHA for 63bd31a

• Simplify

  michael-schwarz

  committed
  71bce3c

  Copy full SHA for 71bce3c

• Remove n_exists construction

  michael-schwarz

  committed
  0b3ff15

  Copy full SHA for 0b3ff15

• Simplify

  michael-schwarz

  committed
  320cc90

  Copy full SHA for 320cc90

• Steps towards removing ops on raw sets

  michael-schwarz

  committed
  b4bb3c1

  Copy full SHA for b4bb3c1

• Replace exists types with options

  michael-schwarz

  committed
  55a0dd4

  Copy full SHA for 55a0dd4

• Make types in string_concat make sense

  michael-schwarz

  committed
  7a2e9ba

  Copy full SHA for 7a2e9ba

• Simplify

  michael-schwarz

  committed
  1282af3

  Copy full SHA for 1282af3

• Pull out helper

  michael-schwarz

  committed
  c85bad9

  Copy full SHA for c85bad9

• One less May/MustSet

  michael-schwarz

  committed
  20ee375

  Copy full SHA for 20ee375

• Decouple concrete sets from MaySet

  michael-schwarz

  committed
  d995cc9

  Copy full SHA for d995cc9

• Simplify

  michael-schwarz

  committed
  72476fb

  Copy full SHA for 72476fb

• Lift one more transfer function to work on MustMay

  michael-schwarz

  committed
  a73c28d

  Copy full SHA for a73c28d

• Use option type

  michael-schwarz

  committed
  c15ca04

  Copy full SHA for c15ca04

• Strange parens

  michael-schwarz

  committed
  1a9ce2c

  Copy full SHA for 1a9ce2c

• Merge branch 'master' into null-byte-arrayDomain

  michael-schwarz

  committed
  672650b

  Copy full SHA for 672650b

Commits on Nov 29, 2023

• Deduplicate ArrayDomain.StrWithDomain declarations

  sim642

  committed
  df60d52

  Copy full SHA for df60d52

• Remove trailing whitespace in ArrayDomain

  sim642

  committed
  309f000

  Copy full SHA for 309f000

• Use ocamldoc references in ArrayDomain.Str

  sim642

  committed
  44705f4

  Copy full SHA for 44705f4

• Deduplicate Null declarations

  sim642

  committed
  80c2694

  Copy full SHA for 80c2694

Commits on Dec 11, 2023

• Fix invalid free in 73-strings/03-string_basics

  sim642

  committed
  77b4f67

  Copy full SHA for 77b4f67

• Add TODOs related to null byte array domain

  sim642

  committed
  f2fdb62

  Copy full SHA for f2fdb62

• Merge branch 'master' into null-byte-arrayDomain

  sim642

  committed
  4577879

  Copy full SHA for 4577879