Repository navigation

Inline assembly support (external call) - #17

Closed

mishok2503 wants to merge 149 commits into

utbot-mainfrom

mishok2503/externalAsmCall

Closed

Inline assembly support (external call)#17
mishok2503 wants to merge 149 commits into
utbot-mainfrom
mishok2503/externalAsmCall

Commits on Dec 11, 2020
- Add lazy instantiator
  misonijnik
  committed
  6524666
- Add cfa
  misonijnik
  committed
  27e1ddb
- Refactor runKBLock
  misonijnik
  committed
  44077ce
- Update KBlock constructors
  misonijnik
  committed
  27c137b
- Fix splitByCall
  misonijnik
  committed
  8de1622
- Split runInstructions
  misonijnik
  committed
  c0bc48e
- Add prepareSymbolicStack
  misonijnik
  committed
  bdc4a67
- Add cfgStates
  misonijnik
  committed
  24fe0ab
- Initialize liSource
  misonijnik
  committed
  911ba89
- Update cfgStates for recursive programms
  misonijnik
  committed
  9871061
- Add clear() AddressSpace
  misonijnik
  committed
  3a9baa3
- Fix deleting states in cfgStates
  misonijnik
  committed
  177949b
- Fix execute of store instruction
  misonijnik
  committed
  89bf43e
- Fix run callBlock
  misonijnik
  committed
  8322854
- Add optimization under the flag
  misonijnik
  committed
  11fe702
- Fix lazy instantiation of argument
  misonijnik
  committed
  bb01a96
- Add lazy instantiation of phi node
  misonijnik
  committed
  41e16f5
- Fix tryPushPreviousStack
  misonijnik
  committed
  8a7ca26
- Fix prepareSymbolicArgs
  misonijnik
  committed
  35b5b1d
- Fix prepareSymbolicReturn
  misonijnik
  committed
  b32d3d4
- Upgrade runFunctionAsBlockSequence and fix some bugs
  misonijnik
  committed
  f21b60e
- Fix runFunctionAsBlockSequence
  misonijnik
  committed
  9e8a94c
- Add dummy handlers for terminators in IsolationMode
  misonijnik
  committed
  666fa1c
- Fix use of allocate
  misonijnik
  committed
  6d57137
- multiple states for a BB
  misonijnik
  committed
  6bc1637
- Add bound of registers indexes
  misonijnik
  committed
  99a6d1d
- Update eval
  misonijnik
  committed
  e23dcf9
- Exclude getAddressInfo
  misonijnik
  committed
  545bcda
- Add symbolicEval
  misonijnik
  committed
  7236542
- Fix symbolicEval and prepareSymbolicRegister
  misonijnik
  committed
  87fe835
- Fix usage of bindModuleConstants
  misonijnik
  committed
  0cb65a9
- Fix lazyInstantiateVariable
  misonijnik
  committed
  cdad902
- Fix lazyInstantiateRegister
  misonijnik
  committed
  4152a93
- Fix resolve and resolveOne
  misonijnik
  committed
  08cf40c
- Clear executeMemoryOperation
  misonijnik
  committed
  e09b33b
- Fix prepareSymbolicValue
  misonijnik
  committed
  dd0a639
- Add GEPExpr
  misonijnik
  committed
  b2d5208
- Fix MemoryObjectLT operator
  misonijnik
  committed
  e62a890
- Add pausedStates
  misonijnik
  committed
  acb76ce
- Exclude solver
  misonijnik
  committed
  ee67032
- Add use GEPExpr
  misonijnik
  committed
  34e75d6
- FIx executeMemoryOperation
  misonijnik
  committed
  6672974
- Fix bug after rebase
  misonijnik
  committed
  624d041
Commits on Dec 15, 2020
- Fix executeMemoryOperation
  misonijnik
  committed
  7cca6a3
Commits on Dec 16, 2020
- Clear
  misonijnik
  committed
  165c9f5
Commits on Dec 19, 2020
- Add executeTargetedTerminator
  misonijnik
  committed
  855cc81
Commits on Dec 24, 2020
- Add getCumulativeCFA
  misonijnik
  committed
  7f22ef9
- Add usage of erroneousStates
  misonijnik
  committed
  e54d258
Commits on Dec 27, 2020
- Delete runFunctionAsBlockSequence
  misonijnik
  committed
  afee3d7
Commits on Dec 28, 2020
- Add exitStates
  misonijnik
  committed
  6c69ef9
Commits on Dec 29, 2020
- Fix usage of CallSite
  misonijnik
  committed
  e4edd3e
Commits on Jan 9, 2021
- Fix
  misonijnik
  committed
  3500018
Commits on Feb 1, 2021
- Add getExecutionResult
  misonijnik
  committed
  74be000
- Add TargetedSearcher
  misonijnik
  committed
  6faef80
- Add GuidedSearcher
  misonijnik
  committed
  9bd654b
- Fix guidedRun
  misonijnik
  committed
  cc2ad15
Commits on Feb 2, 2021
- Clear code [WIP]
  misonijnik
  committed
  f37324e
Commits on Feb 7, 2021
- Update GuidedSearcher
  misonijnik
  committed
  cbabab4
Commits on Feb 8, 2021
- Clear
  misonijnik
  committed
  8d5ad34
- Update GuidedSearcher
  misonijnik
  committed
  d884663
- Fix registerMap
  misonijnik
  committed
  d4eedd2
- Fix formState
  misonijnik
  committed
  bf35c5b
- Fix tryGetWeight
  misonijnik
  committed
  3db71c9
- Clear
  misonijnik
  committed
  c53cfc9
Commits on Feb 9, 2021
- Fix splitByCall
  misonijnik
  committed
  5a1f5f5
- Remove pauseStates
  misonijnik
  committed
  6b46e63
- Discard changes of fork
  misonijnik
  committed
  e56ae78
- Update usage of GEPExpr
  misonijnik
  committed
  736fba0
Commits on Feb 10, 2021
- cc
  ocelaiwo
  committed
  e68424b
- Set default searcher
  misonijnik
  committed
  f59b4ae
- Fix updateStates
  misonijnik
  committed
  c88d47f
- Fix tests
  misonijnik
  committed
  2fe27ad
Commits on Feb 11, 2021
- WIP
  ocelaiwo
  committed
  89dbaed
- Fix guided mode
  misonijnik
  committed
  1bd1eb8
- Default main
  misonijnik
  committed
  8384f18
Commits on Feb 12, 2021
- Fix guided mode
  misonijnik
  committed
  7651a0d
- Merge branch 'klee-guided-2.2_testcomp' into klee-guided-2.2
  ocelaiwo
  committed
  3dbe2b4
- Fix TargetedSearcher
  misonijnik
  committed
  d92c8f1
- Fix calculateTargetedStates
  misonijnik
  committed
  4150ea6
- WIP
  ocelaiwo
  committed
  b986cce
- Merge branch 'klee-guided-2.2' of gitlab.com:yummy-research-team/states_and_lemmas into klee-guided-2.2
  ocelaiwo
  committed
  2239ed8
- Fix GuidedSearcher
  misonijnik
  committed
  381a7f9
- Add ExecutionMode
  misonijnik
  committed
  cf9ec8c
- Fix
  misonijnik
  committed
  2fb7236
Commits on Feb 13, 2021
- Benchexec and testcov
  ocelaiwo
  committed
  ba8e7f0
- Fix
  ocelaiwo
  committed
  71c3f89
- Upd
  ocelaiwo
  committed
  525736e
- Clear
  misonijnik
  committed
  dd71d08
- Fix style
  misonijnik
  committed
  293e8a8
- Add seed and rename
  misonijnik
  committed
  b680685
- Fix tests
  misonijnik
  committed
  5b7d835
Commits on Feb 15, 2021
- Fix targetedRun
  misonijnik
  committed
  414098d
Commits on Feb 16, 2021
- Some usability improvements
  misonijnik
  committed
  247d9ed
Commits on Feb 19, 2021
- Calculate backwarDistance lazily
  misonijnik
  committed
  6a7a627
- Fix executeMemoryOperation
  misonijnik
  committed
  e1da0e9
Commits on Mar 1, 2021
- Add interleaved scheduler in GuidedSearcher
  misonijnik
  committed
  97eec94
- Add getDistance
  misonijnik
  committed
  48a0b65
- Now targets are calculated as soon as the state has paused
  misonijnik
  committed
  cf0fa36
- New metric in TargetedSearcher
  misonijnik
  committed
  f12b66c
- Clear
  misonijnik
  committed
  f7d6088
Commits on Jul 6, 2021
- Fix KBlock constructor
  misonijnik
  committed
  0598977
Commits on Jul 28, 2021
- Merge branch 'fix-libcxx-tests' into 'master'
  misonijnik
  committed
  e11f729
- Change set to unordered_set
  misonijnik
  committed
  4acbbe3
- Fix resolve
  misonijnik
  committed
  39e764f
- Fix executeMemoryOperation
  misonijnik
  committed
  66b5e64
- Disable memory operation with global objects
  misonijnik
  committed
  36d33f0
- Fix calculateTarget
  misonijnik
  committed
  854adc3
- Implement lazy initialization
  
  ocelaiwo
  authored and
  misonijnik
  committed
  cc210c8
- Add unrelated changes and fix unit tests.
  misonijnik
  committed
  a9c9b81
Commits on Aug 18, 2021
- Add TestCase destructor
  
  ocelaiwo
  authored and
  misonijnik
  committed
  aeca244
- Fix TestCase
  
  ocelaiwo
  authored and
  misonijnik
  committed
  f639447
Commits on Aug 26, 2021
- Add object addresses to TestCase format
  
  ocelaiwo
  authored and
  misonijnik
  committed
  7846e40
Commits on Aug 27, 2021
- Upgrade handle of GEPExpr
  misonijnik
  committed
  3288b49
Commits on Sep 8, 2021
- Fix getRange
  
  ocelaiwo
  authored and
  misonijnik
  committed
  b829926
Commits on Sep 20, 2021
- KLEE floating-point support.
  
  Kalugin Vladislav
  authored and
  Alexey Pleshakov
  committed
  63a1d2d
- Add build.sh
  
  Kalugin Vladislav
  authored and
  Alexey Pleshakov
  committed
  3abb7af
- Integrate sanitizer
  
  Kalugin Vladislav
  authored and
  Alexey Pleshakov
  committed
  8065979
- Prepared KLEE for launching it with POSIX runtime. Added symbolic variable for stdin buffer size to ktests. Disabled tests for now broken klee-replay and klee-zesti (unused).
  
  Kalugin Vladislav
  authored and
  Alexey Pleshakov
  committed
  ddebd9a
- Add timeouts
  
  Kalugin Vladislav
  authored and
  Alexey Pleshakov
  committed
  2347940
- Added possibility of installing as a library and launching as a function
  
  Kalugin Vladislav
  authored and
  Alexey Pleshakov
  committed
  7eed5d7
- Test failure for WSL 1
  
  Pavel Yatcheniy
  authored and
  Alexey Pleshakov
  committed
  00d9e9c
- Resolve diff with utbot klee
  
  Kalugin Vladislav
  authored and
  Alexey Pleshakov
  committed
  609f434
- Prepare KLEE for open-source
  Alexey Pleshakov
  committed
  bdddfce
- Fix build after adding lazy_initialization
  
  Grigoryev
  authored and
  Alexey Pleshakov
  committed
  7e4b560
- Resolve diff with utbot klee after adding lazy_initialization
  
  Grigoryev
  authored and
  Alexey Pleshakov
  committed
  1e2326e
- Set pointers on lazy and symbolic variables
  
  Saveliy Grigoryev
  authored and
  Alexey Pleshakov
  committed
  85cc67f
Commits on Sep 22, 2021
- Resolve conflicts after rebasing on guided-klee/lazy_initialization
  Alexey Pleshakov
  committed
  ae2c070
Commits on Oct 20, 2021
- Removed uclibc from KLEE build
  Alexey Pleshakov
  committed
  251745d
Commits on Oct 21, 2021
- Removed KLEE testing from UTBot build
  Alexey Pleshakov
  committed
  199ee04
Commits on Jan 14, 2022
- [fix] Fixed GEPExpr lazy instantiation handler
  
  misonijnik
  authored and
  Saveliy Grigoryev
  committed
  d7a81fd
- [fix] Included llvm::format in header
  
  misonijnik
  authored and
  Saveliy Grigoryev
  committed
  65479c4
Commits on Feb 4, 2022
- Add CI
  Saveliy Grigoryev
  committed
  cf4037f
Commits on Feb 10, 2022
- update build.sh add workflow on utbot docker
  Vladislav Kalugin
  committed
  d66706f
Commits on Feb 15, 2022
- Merge pull request #6 from UnitTestBot/add_script_test_and_libcxx
  sava-cska
  authored
  19d533d
Commits on Mar 3, 2022
- [test] Enabled ASan
  misonijnik
  committed
  750a0b9
Commits on Mar 7, 2022
- [test] Enable MSan
  misonijnik
  committed
  92db9ad
Commits on Mar 9, 2022
- Fixed ASan and MSan
  sava-cska
  authored
  da58fac
- Refactor run_klee.cpp
  Saveliy Grigoryev
  committed
  13b215c
Commits on Mar 16, 2022
- Add interactive mode
  Saveliy Grigoryev
  committed
  6a09515
Commits on Mar 19, 2022
- Add intrinsic replacement for 'sqrt'
  operasfantom
  committed
  398d677
- Fix typo
  operasfantom
  committed
  f63b9e9
Commits on Mar 25, 2022
- Merge pull request #8 from UnitTestBot/interactive_mode
  sava-cska
  authored
  71335b0
Commits on Mar 29, 2022
- Merge pull request #9 from UnitTestBot/sqrt
  sava-cska
  authored
  b1218dc
Commits on Apr 6, 2022
- fix unclosed files
  Lana243
  committed
  c85ee3b
Commits on Apr 8, 2022
- Merge pull request #10 from UnitTestBot/fix/177/unclosed-files
  Lana243
  authored
  29c1be0
Commits on Apr 15, 2022
- Add TimeoutPerTest for generation tests for project
  
  Saveliy Grigoryev
  authored and
  sava-cska
  committed
  b836c78
Commits on Apr 25, 2022
- [fix] base cannot be ConstantExpr
  
  misonijnik
  authored and
  sava-cska
  committed
  e1a2b06
Commits on Jun 17, 2022
- Clean files
  
  Vladislav Kalugin
  authored and
  sava-cska
  committed
  73701e2
Commits on Jul 2, 2022
- Inline asm external call
  mishok2503
  committed
  d76a384

Commits

Commits on Dec 11, 2020

Commits on Dec 15, 2020

Commits on Dec 16, 2020

Commits on Dec 19, 2020

Commits on Dec 24, 2020

Commits on Dec 27, 2020

Commits on Dec 28, 2020

Commits on Dec 29, 2020

Commits on Jan 9, 2021

Commits on Feb 1, 2021

Commits on Feb 2, 2021

Commits on Feb 7, 2021

Commits on Feb 8, 2021

Commits on Feb 9, 2021

Commits on Feb 10, 2021

Commits on Feb 11, 2021

Commits on Feb 12, 2021

Commits on Feb 13, 2021

Commits on Feb 15, 2021

Commits on Feb 16, 2021

Commits on Feb 19, 2021

Commits on Mar 1, 2021

Commits on Jul 6, 2021

Commits on Jul 28, 2021

Commits on Aug 18, 2021

Commits on Aug 26, 2021

Commits on Aug 27, 2021

Commits on Sep 8, 2021

Commits on Sep 20, 2021