Commits · master · Adam Matoušek / tiny · GitLab

Jul 27, 2024
- Add a README. · ba076c12
  Adam Matoušek authored Jul 27, 2024 and Adam Matoušek committed Jul 27, 2024
  
  ba076c12
Jul 26, 2024
- ci: Add a simple .gitlab-ci.yml file. · 91766ce3
  Adam Matoušek authored Jul 26, 2024
  
  91766ce3
- tiny test: Add a test for parenthesised sizeof. · d3359cb7
  Adam Matoušek authored Jul 26, 2024
  
  d3359cb7
- tiny cc: Do not mistake parenthesised sizeof for a cast. · 5d55ea77
  Adam Matoušek authored Jul 26, 2024
  
  5d55ea77
Apr 30, 2024
- tiny cc: Do not trace internal functions unless requested. · 5a77887b
  Adam Matoušek authored Apr 30, 2024
  
  5a77887b
- tiny cc: Suggest --malloc when encountering an undeclared identifier provided by it. · b2940237
  Adam Matoušek authored Apr 30, 2024
  
  b2940237
- tiny cc: Do not generate certain triggers in internal functions. · 73889a5c
  Adam Matoušek authored Apr 30, 2024
  
  73889a5c
- tiny cc: Add a built-in implementation of malloc. · bff199af
  Adam Matoušek authored Apr 30, 2024
  
  bff199af
- tiny cc: Reject use of reserved identifiers outside internal documents. · 3bbad07f
  Adam Matoušek authored Apr 30, 2024
  
  3bbad07f
- tiny cc: Introduce a notion of internal documents. · 68f79ca8
  Adam Matoušek authored Apr 30, 2024
  
  68f79ca8
- tiny cc: Warn only about the first C file when --week < 2. · 5d08b88c
  Adam Matoušek authored Apr 30, 2024
  
  5d08b88c
- tiny cc: Add a predicate deciding whether an identifier is reserved. · 136226c8
  Adam Matoušek authored Apr 30, 2024
  
  136226c8
- tiny vm: Implement allocation tracking in ubsan. · a1907a45
  Adam Matoušek authored Apr 30, 2024
  
  a1907a45
- tiny cc: Factor out ubsan generation to a function. · ff0b4e03
  Adam Matoušek authored Apr 30, 2024
  
  ff0b4e03
- tiny as: Recognize trace triggers in the assembly parser. · 30056fad
  Adam Matoušek authored Apr 30, 2024
  
  30056fad
Apr 25, 2024
- tiny: Switch document_store methods to string_view. · 0599c7ad
  Adam Matoušek authored Apr 25, 2024
  
  0599c7ad
- tiny: Expand tabs on document creation. · 0840eab0
  Adam Matoušek authored Apr 25, 2024
  
  0840eab0
Apr 23, 2024
- tiny test: Add a test for stashing const local scalars. · 6259becc
  Adam Matoušek authored Apr 23, 2024
  
  6259becc
- tiny cc: Do not emit useless loads and stores of const locals. · 52ab8c0e
  Adam Matoušek authored Apr 23, 2024
  
  52ab8c0e
- tiny cc: Do not emit memory ubsan after certain blessed stores. · 7da0a5f1
  Adam Matoušek authored Apr 23, 2024
  
  7da0a5f1
- tiny cc: Fix a typo in a diagnostic. · 4ab671b3
  Adam Matoušek authored Apr 23, 2024
  
  4ab671b3
- tiny test: Add some tests for writing to constant objects. · 0d14836e
  Adam Matoušek authored Apr 23, 2024
  
  0d14836e
- tiny cc: Mark as read-only also const subobject of locals. · 0495dacc
  Adam Matoušek authored Apr 23, 2024
  
  0495dacc
- tiny vm: Implement the new 'rvo' and 'memcpy' ubsan types. · c9c744b7
  Adam Matoušek authored Apr 23, 2024
  
  c9c744b7
- tiny cc: Emit ubsan after non-initializer assignments. · 05e88684
  Adam Matoušek authored Apr 23, 2024
  
  05e88684
- tiny cc: Allow emitting unsanitized loads and stores. · c876ed53
  Adam Matoušek authored Apr 23, 2024
  
  c876ed53
- tiny cc: Disregard const qualifiers in type::is_struct. · c604a1af
  Adam Matoušek authored Apr 23, 2024
  
  c604a1af
- tiny cc: Mark memory of const locals as read-only. · cfcab9f7
  Adam Matoušek authored Apr 23, 2024
  
  cfcab9f7
- tiny cc: Propagate RVO through const-casts. · b6f5105a
  Adam Matoušek authored Apr 23, 2024
  
  b6f5105a
- tiny cc: Emit a memory ubsan for the loads in builtin memcpy. · 664f906a
  Adam Matoušek authored Apr 23, 2024
  
  664f906a
- tiny as: Ubsan triggers may have a numeric value associated with them. · 57f9ddf2
  Adam Matoušek authored Apr 23, 2024
  
  57f9ddf2
- tiny as: Optionally take the trigger's numeric value in its constructor. · de04f49c
  Adam Matoušek authored Apr 23, 2024
  
  de04f49c
- tiny as: Print also the numeric value of triggers. · be183bb7
  Adam Matoušek authored Apr 23, 2024
  
  be183bb7
Apr 18, 2024
- tiny vm: Rewrite the 'mem' ubsan to use memory marks. · 4e43f9ea
  Adam Matoušek authored Apr 18, 2024
  
  4e43f9ea
- tiny cc: Fix call-sites of 'add_trigger' which no longer forces a 'string_view'. · 3f8f18d3
  Adam Matoušek authored Apr 18, 2024
  
  3f8f18d3
- tiny cc: Emit triggers to mark each frame as writable. · b6d02c44
  Adam Matoušek authored Apr 18, 2024
  
  b6d02c44
- tiny vm: Implement memory-marking triggers. · 567543a4
  Adam Matoušek authored Apr 18, 2024
  
  567543a4
- tiny vm: Implement memory marking in the debug state. · 7d56f23d
  Adam Matoušek authored Apr 18, 2024
  
  7d56f23d
- tiny vm: Expose size of the VM's memory as memory::size. · 62ef1202
  Adam Matoušek authored Apr 18, 2024
  
  62ef1202
- tiny vm: Provide the trigger dispatcher with the instruction performed. · 4a288cc5
  Adam Matoušek authored Apr 18, 2024
  
  4a288cc5