UTBotCpp
UTBotCpp copied to clipboard
UnitTestBot
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Now many classes has reference field like `const BaseTestGen& testGen;` in `NativeMakefilePrinter` `BaseTestGen &testGen;` in `KleeGenerator` `BaseTestGen &testGen;` in `Linker` etc
To test the performance on a real-life project we would like to have a script that runs UTBotCpp on ```coreutils``` project. For agreement we will work with ```coreutils v9.1```. As...
Some new paths in function `createNewDirForFile` from `Paths.h`. Can be unavailable. Example: file = /home/utbot/.opam/4.08.0/share/sail/lib/sail.c oldBase = /home/utbot/sail-riscv/c_emulator/SoftFloat-3e/build newBase = /home/utbot/tmp/UnitTestBot/sail-riscv result = home/.opam/4.08.0/share/sail/lib/sail.c result not in temp directory. Problem...
UTBot is a very promising tool. I expect it help me to find out those difficult product bugs, like memory/buffer related bugs, dead code (unreachable branches), etc. with build 93,...
**Description** Some project use library that compile by same cmake. **Potential solution** Build library as bc and link by `-link-llvm-lib` [klee docs](https://klee.github.io/docs/options/)
**Description** In many cases UTBot generate unused ERROR cases like pointers to incorrect pointers #325, structs with null as pointer #314 On other hand some people want find more problems...
# Steps to reproduce 1. Open and configure project `coreutils` 2. Choose target `libcoreutils.a` 3. Generate tests for file `gnulib/lib/exclude.c` 4. Run tests 5. See logs ## Initialisation of unnamed...
## Regular mode  ## Verbose mode  Closes #175
#### Problem The following is the command line result of an example C++ program 'Pointers', it seems that none of the lines are covered. However, based on our manually inspection,...
Metadata
Owner
Metadata
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage