Commits · 2341e2be04804d926e3be5ef348d8963b1347374 · paradise / mirror / DIVINE · GitLab

Jan 06, 2020
- lart: Remove more undesired constant expressions from mcsema-generated code. · 2341e2be
  Lukáš Korenčik authored Jan 06, 2020
  
  2341e2be
- rst: Remove obsolete comment. · bc75846f
  Lukáš Korenčik authored Jan 06, 2020
  
  bc75846f
Dec 12, 2019
- lart: Change extractvalue lifter to use abstract operand. · 33cc1f31
  Lukáš Korenčik authored Dec 12, 2019
  
  33cc1f31
- lart: Add some constant lifters for i1 and pointer. · ffdd5815
  Lukáš Korenčik authored Dec 12, 2019
  
  ffdd5815
Dec 10, 2019
- lart: Fix assert to check number of arguments of extractvalue. · 8d6657b7
  Lukáš Korenčik authored Dec 10, 2019
  
  8d6657b7
Jan 10, 2020
- UI: Slightly refactor support for comma-separated flags (like '-C,-lm,-lc'). · 7f8fdc69
  Petr Rockai authored Jan 10, 2020
  
  7f8fdc69
- UI: Fix 'exec' in case when no --tactic is given. · 18b8dd45
  Petr Rockai authored Jan 10, 2020
  
  18b8dd45
- test: Skip klee-flavoured tests if (a patched version of) klee is not on PATH. · 26d20072
  Petr Rockai authored Jan 09, 2020
  
  26d20072
Jan 09, 2020
- smt: Resurrect extract operation in smt-solver builders. · b5663c3b
  Henrich Lauko authored Jan 09, 2020
  
  b5663c3b
- smt: Handle extract operation in the RPN builder. · 3d0120ec
  Henrich Lauko authored Jan 09, 2020
  
  3d0120ec
- bricks: Add is_concat function into brick-smt. · 675e58c3
  Henrich Lauko authored Jan 09, 2020
  
  675e58c3
- lart: Do not pass obsolete indices to lifter templates. · e2169d4a
  Henrich Lauko authored Jan 09, 2020
  
  e2169d4a
- lart: Generate abstraction functions to obtain operation indices. · 1b9b5ea6
  Henrich Lauko authored Jan 09, 2020
  
  1b9b5ea6
- rst: Implement op_concat in the term domain. · 4d892469
  Henrich Lauko authored Jan 09, 2020
  
  4d892469
- rst: Fix the order of term extract arguments. · 376be53c
  Henrich Lauko authored Jan 09, 2020
  
  376be53c
- rst: Implement op_extract in the term domain. · 4aa473a7
  Henrich Lauko authored Jan 09, 2020
  
  4aa473a7
- lart: Change the naming convention of abstraction functions to use underscores. · 2afebd48
  Henrich Lauko authored Jan 09, 2020
  
  2afebd48
- bricks: Add extract operation to RPN formula representation. · 6e44e9ca
  Henrich Lauko authored Jan 09, 2020
  
  6e44e9ca
- bricks: Refactor out operation type from RPN tokens. · 5cdd73c9
  Henrich Lauko authored Jan 09, 2020
  
  5cdd73c9
- smt: Fix constructors in the RPN unit tests. · da59066a
  Henrich Lauko authored Jan 09, 2020
  
  da59066a
- test: Add tests of mixed loads of concrete and abstract values. · 63fd1b5d
  Henrich Lauko authored Jan 09, 2020
  
  63fd1b5d
- rst: Remove obsolete operation index argument from lifter templates. · 18b1c4f6
  Henrich Lauko authored Jan 09, 2020
  
  18b1c4f6
- smt: Fix resulting bitwidth of concat operation. · 813a45cf
  Henrich Lauko authored Jan 09, 2020
  
  813a45cf
Jan 10, 2020
- MC: Provide help strings for tracepoint/autotrace option types. · da4a7f13
  Petr Rockai authored Jan 09, 2020
  
  da4a7f13
- bricks: Do not print spaces in brick-cmd help where they are not required. · 69be8dbd
  Petr Rockai authored Jan 09, 2020
  
  69be8dbd
- bricks: Include descriptions of option types in brick-cmd help output. · 1575e9d7
  Petr Rockai authored Jan 09, 2020
  
  1575e9d7
- bricks: Allow argument types (in brick-cmd) to override braces in their names. · c95d194e
  Petr Rockai authored Jan 09, 2020
  
  c95d194e
- bricks: Move the help streams from cmd_option_help to cmd_options. · f9bd3e00
  Petr Rockai authored Jan 09, 2020
  
  f9bd3e00
Jan 09, 2020
- MC: Modernize the names of autotrace & leakcheck flags. · cf2cf927
  Petr Rockai authored Jan 09, 2020
  
  cf2cf927
- Add xsarnik and xkorenc1 to .authorspellings. · 5d2c8847
  Petr Rockai authored Jan 09, 2020
  
  5d2c8847
- UI: Get rid of the intermediate Exec::Tactic enum and use strings directly. · 2b24ca0f
  Petr Rockai authored Jan 09, 2020
  
  2b24ca0f
- MC: Make the 'exec' tactic selection code a little more compact. · f68265fa
  Petr Rockai authored Jan 09, 2020
  
  f68265fa
- UI: Resolve a conflict around --tactic handling in exec. · cdceea5d
  Petr Rockai authored Jan 09, 2020
  
  cdceea5d
- UI: Resolve conflicts between brick-cmd changes and with_report. · 2dc08582
  Petr Rockai authored Jan 09, 2020
  
  2dc08582
Nov 12, 2019
- UI: Extract report handling to ui::WithReport. · 8477e60c
  Jakub Šárník authored Nov 12, 2019
  
  8477e60c
Nov 21, 2019
- MC: Add basic support for the possibility of choosing a search tactic. · 4bdf018d
  Jakub Šárník authored Nov 21, 2019
  
  4bdf018d
- MC: Add a basic memstats reporting ability for mc::Exec. · 06dd085e
  Jakub Šárník authored Nov 21, 2019
  
  06dd085e
Jan 09, 2020
- dios: Avoid CFL interrupts in Array::_clear(). · 08a58508
  Petr Rockai authored Jan 09, 2020
  
  08a58508
- VM: Always use heap pointers to track critical memory access. · 9f234185
  Petr Rockai authored Jan 09, 2020
  
  9f234185
- sim: Add 'tamper' to the list of commands so that it is actually recognized. · 149e53e8
  Petr Rockai authored Jan 09, 2020
  
  149e53e8