kdudka/predator issues and pull requests

#103 - drop `fwnull` and `vra`

Pull Request - State: closed - Opened by kdudka about 1 month ago - 1 comment

#102 - improve user experience with the full recovery mode

Pull Request - State: closed - Opened by kdudka about 2 months ago - 1 comment

#101 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 5.3.0 to 5.4.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies

#100 - llvm: initialize `loc` of artificial CL_BINOP_MULT insn

Pull Request - State: closed - Opened by kdudka 4 months ago - 1 comment

#99 - Uninitialised or corrupted struct `cl_loc`

Issue - State: closed - Opened by Toaster192 4 months ago - 3 comments

#98 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 5.1.2 to 5.3.0

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#97 - macOS 14: predator cannot be built due to a bug in GCC

Issue - State: open - Opened by lzaoral 7 months ago

#96 - ci: use macOS 13 for macOS jobs

Pull Request - State: closed - Opened by lzaoral 7 months ago

#95 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 5.1.1 to 5.1.2

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 2 comments
Labels: dependencies

#94 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 5.1.0 to 5.1.1

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#93 - fix compatibility issues with `gcc-14.x`

Pull Request - State: closed - Opened by kdudka 9 months ago

#92 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 5.0.2 to 5.1.0

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago - 5 comments
Labels: dependencies

#91 - sl: use `std::move()` where appropriate

Pull Request - State: closed - Opened by kdudka 12 months ago - 1 comment

#90 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 5.0.1 to 5.0.2

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies

#89 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 4.2.2 to 5.0.1

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#88 - build(deps): bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#87 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 4.2.1 to 4.2.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#86 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 4.0.2 to 4.2.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#85 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 3.1.1 to 4.0.2

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#84 - CI: use update_release instead of release_suffix

Pull Request - State: closed - Opened by lzaoral almost 2 years ago - 8 comments

#83 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 3.1.1 to 3.3.1

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 3 comments
Labels: dependencies

#82 - Partially replace Boost with C++11

Pull Request - State: closed - Opened by lzaoral almost 2 years ago - 6 comments

#81 - DO NOT MERGE!

Pull Request - State: closed - Opened by lzaoral almost 2 years ago - 4 comments

#80 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 3.1.1 to 3.2.1

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#79 - CI: pin macOS jobs to LLVM 14

Pull Request - State: closed - Opened by lzaoral about 2 years ago

#78 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 3.0.1 to 3.1.1

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 3 comments
Labels: dependencies

#77 - ci(dependabot): monthly interval should be enough

Pull Request - State: closed - Opened by jamacku over 2 years ago

#76 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 2.5.1 to 3.0.1

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#75 - CI: drop Ubuntu 18.04 jobs

Pull Request - State: closed - Opened by lzaoral over 2 years ago

#74 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 2.4.0 to 2.5.1

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#73 - build(deps): bump redhat-plumbers-in-action/differential-shellcheck from 2.4.0 to 2.5.0

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#72 - Run `coverity` workflow only on primary repository

Pull Request - State: closed - Opened by jamacku over 2 years ago - 1 comment

#71 - Add Shell linter - Differential-ShellCheck

Pull Request - State: closed - Opened by jamacku over 2 years ago - 1 comment

#70 - CI: add GitHub Actions workflows with macOS

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 1 comment

#69 - symtrace: do not traverse trace graph in NodeHandle destructor

Pull Request - State: closed - Opened by kdudka over 2 years ago - 1 comment

#68 - DO NOT MERGE: test that 4148989 did not create a performace regression in test-0235

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 1 comment

#67 - move options.md to the docs directory

Pull Request - State: closed - Opened by kdudka over 2 years ago

#66 - README: minor fixes and improvements

Pull Request - State: closed - Opened by lzaoral over 2 years ago

#65 - remove obsolete documentation, patches and script

Pull Request - State: closed - Opened by kdudka over 2 years ago

#64 - Add Packit integration v2

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 1 comment

#63 - Add Packit integration

Pull Request - State: closed - Opened by lzaoral over 2 years ago

#62 - symtrace: make the trace graph cleanup work again

Pull Request - State: closed - Opened by kdudka over 2 years ago

#61 - symtrace: avoid stack overflow on complex trace graphs

Pull Request - State: closed - Opened by kdudka over 2 years ago - 3 comments

#60 - llvm: fix use of uninitialized value in CLPass::handleGEPOperand()

Pull Request - State: closed - Opened by kdudka over 2 years ago - 1 comment

#59 - tests/predator-regre: update expected output of expensive tests

Pull Request - State: closed - Opened by kdudka over 2 years ago - 2 comments

#58 - Replace Travis CI with GitHub Actions

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 4 comments

#57 - fix undefined behavior at multiple places

Pull Request - State: closed - Opened by kdudka about 3 years ago - 6 comments

#56 - cl/CMakeLists.txt: pass the gcc include directory as a system one

Pull Request - State: closed - Opened by lzaoral about 3 years ago - 1 comment

#56 - cl/CMakeLists.txt: pass the gcc include directory as a system one

Pull Request - State: closed - Opened by lzaoral about 3 years ago - 1 comment

#55 - `test-0045.c*` fails when `clang` is used for compilation

Issue - State: closed - Opened by lzaoral about 3 years ago - 4 comments

#55 - `test-0045.c*` fails when `clang` is used for compilation

Issue - State: closed - Opened by lzaoral about 3 years ago - 4 comments

#54 - sl/symdump: silence false positives produced by clang

Pull Request - State: closed - Opened by kdudka about 3 years ago - 3 comments

#53 - cl/gcc: relax the check for compatibility with host GCC

Pull Request - State: closed - Opened by kdudka over 3 years ago

#52 - README

Pull Request - State: closed - Opened by versokova almost 4 years ago - 1 comment

#51 - sl: use the DCAST macro not only in symheap code

Pull Request - State: closed - Opened by kdudka almost 4 years ago - 4 comments

#50 - sl/fixed_point_proxy: do not detect container shapes

Pull Request - State: closed - Opened by kdudka almost 4 years ago - 2 comments

#49 - CL

Pull Request - State: closed - Opened by versokova almost 4 years ago - 1 comment

#48 - fa: remove unmaintained source code of Forester from this repository

Pull Request - State: closed - Opened by kdudka about 4 years ago - 4 comments

#47 - fa: make the code compile with gcc-10.2.1

Pull Request - State: closed - Opened by kdudka about 4 years ago - 1 comment

#46 - gcc: more user-friendly diagnostic on gcc version mismatch

Pull Request - State: closed - Opened by kdudka about 4 years ago

#45 - sl/symproc: skip varkill if next block is abort

Pull Request - State: closed - Opened by versokova about 4 years ago - 1 comment

#44 - sl/check-property.sh: ignore unreachable label

Pull Request - State: closed - Opened by versokova over 4 years ago - 1 comment

#43 - sl/symproc: make execHeapRealloc() stop on fatal error

Pull Request - State: closed - Opened by kdudka over 4 years ago

#42 - cl/cl_dotgen.cc: make fnc call links in SVGs valid

Pull Request - State: closed - Opened by kdudka over 4 years ago - 2 comments

#41 - cl/cl_dotgen.cc: fix for generating invisible *dot files

Pull Request - State: closed - Opened by versokova over 4 years ago - 6 comments

#40 - sl: fix clobber for local variables allocated by __builtin_alloca

Pull Request - State: closed - Opened by versokova over 4 years ago - 1 comment

#39 - sl/symproc: model realloc(ptr, 0) properly

Pull Request - State: closed - Opened by kdudka over 4 years ago

#38 - cmake: use -std=c++14 with ENABLE_LLVM, -std=c++11 otherwise

Pull Request - State: closed - Opened by kdudka over 4 years ago

#37 - sl/symheap: simplify the interface for anon stack objects

Pull Request - State: closed - Opened by kdudka over 4 years ago - 2 comments

#36 - Update

Pull Request - State: closed - Opened by versokova over 4 years ago - 1 comment

#35 - maint: build gcc-9.3.0 by default

Pull Request - State: closed - Opened by kdudka over 4 years ago

#34 - cl/llvm/clplug.cc: Fix compilation with LLVM 5

Pull Request - State: closed - Opened by lzaoral over 4 years ago - 1 comment

#33 - Avoid false alarms

Pull Request - State: closed - Opened by versokova over 4 years ago - 1 comment

#32 - sl/symproc: model allocation of zero size properly

Pull Request - State: closed - Opened by kdudka over 4 years ago

#31 - LLVM 10

Pull Request - State: closed - Opened by versokova over 4 years ago - 1 comment

#30 - sl/symproc: fix internal error in concretizeLoop()

Pull Request - State: closed - Opened by kdudka over 4 years ago

#29 - sl/symbin: model __assert_fail() built-in used by <assert.h>

Pull Request - State: closed - Opened by kdudka over 4 years ago

#28 - script to create a source RPM package for Fedora

Pull Request - State: closed - Opened by kdudka over 4 years ago

#27 - make compilation of Predator more user-friendly

Pull Request - State: closed - Opened by kdudka over 4 years ago

#26 - sl/symheap: fix out of bounds read in reinterpretSingleObj()

Pull Request - State: closed - Opened by kdudka over 4 years ago

#25 - Reflecting SV-COMP's changes and cl/llvm update

Pull Request - State: closed - Opened by versokova over 4 years ago - 1 comment

#24 - sl/symproc: avoid memory leak false positive with realloc()

Pull Request - State: closed - Opened by kdudka about 5 years ago

#23 - sl: report memory leak if return value of *alloc() is not used

Pull Request - State: closed - Opened by kdudka about 5 years ago - 4 comments

#22 - Attempt to support realloc()

Pull Request - State: closed - Opened by versokova about 5 years ago - 6 comments

#21 - llvm update - lifetime of variables

Pull Request - State: closed - Opened by versokova about 5 years ago - 3 comments

#20 - make predator work with gcc-8.3.0 used as GCC_HOST

Pull Request - State: closed - Opened by kdudka about 5 years ago

#19 - verify handling of pointers to string literals

Pull Request - State: closed - Opened by kdudka over 5 years ago - 1 comment

#18 - improve handling of string literals

Pull Request - State: closed - Opened by kdudka over 5 years ago - 1 comment

#17 - make Predator work with gcc-7.4.0

Pull Request - State: closed - Opened by kdudka over 5 years ago - 2 comments

#16 - llvm update

Pull Request - State: closed - Opened by versokova over 5 years ago - 1 comment

#15 - Darwin support for Predator

Pull Request - State: closed - Opened by versokova over 5 years ago - 1 comment

#14 - Port for newer LLVM

Pull Request - State: closed - Opened by mchalupa over 5 years ago - 7 comments

#13 - Compilation problems with switch-host-llvm (llvm 3.6)

Issue - State: closed - Opened by caballa almost 8 years ago - 1 comment

#12 - Update2016

Pull Request - State: closed - Opened by versokova almost 8 years ago - 4 comments

#11 - cl/llvm update clang/llvm plug-in

Pull Request - State: closed - Opened by versokova about 9 years ago - 1 comment

#10 - cl/llvm update clang/LLVM plug-in

Pull Request - State: closed - Opened by versokova about 9 years ago

#9 - Final pull request before completing of bachelor thesis.

Pull Request - State: closed - Opened by deekej over 10 years ago - 1 comment

#8 - Legal notices for gcc adapter tests in test-suite added or updated.

Pull Request - State: closed - Opened by deekej over 10 years ago - 1 comment

#7 - Code Listener's settings can be now controled from user's environment.

Pull Request - State: closed - Opened by deekej over 10 years ago - 1 comment

#6 - Setting the Code Listener from shell environment automatically.

Pull Request - State: closed - Opened by deekej over 10 years ago - 2 comments

GitHub / kdudka/predator issues and pull requests