Pavel Iatchenii
Pavel Iatchenii
Implementation of `simde_mm512_load_ps` is based on implementation of `simde_mm512_load_si512`. Test data of `test_simde_mm512_load_ps` is copied from `test_simde_mm512_store_ps` and adjusted as done in `test_simde_mm256_load_ps`. closes #930
The implementation is similar to #944
This MR resolves #1376. I am guessing, that KLEE had already been implemented some checks that [UBSan](https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html) provides. However, there are some cases that are hard to catch without code...
## Summary: Corrected wrong usage of klee_report_error in __cxa_atexit handler. Presumably, the last argument should contain extension `.err` as in other usages. ## Checklist: - [x] The PR addresses a...
## Summary: New `llvm.experimental.noalias.scope.decl` intrinsic [appeared](https://llvm.org/docs/LangRef.html#llvm-experimental-noalias-scope-decl-intrinsic) in LLVM 12.0 which purposes to identify where a noalias scope is declared and accepts `metadata` as an argument. Execution of that call usually...
## Summary: This PR closes #1528. Added derived class `KIntrinsic` which inherits from `KCallable`. This aims to distinguish that from `KFunction` and create a simple IR call inside `ExternalDispatcherImpl::createDispatcher`. ##...
**Is your feature request related to a problem? Please describe.** This is a follow-up of that [thread](https://github.com/klee/klee/pull/1515#issuecomment-1164128571). I would find it very useful for KLEE to execute unimplemented `llvm.*` intrinsics...
I would find it very useful for KLEE to report memory leaks on termination. Since KLEE is mostly used to analyze the code execution from `main()` to an `exit` or...
Hello, We've been working in Huawei Russian Research Institute on a zero-false positive engine for static analysis and unit test generation based on KLEE. You might have known us from...
**Description** Suspicious tests are generated for simple C++ code. **To Reproduce** Steps to reproduce the behavior: 1. Open UTBot online 2. Choose C++ 3. Paste code ```cpp #include #include #include...