NASA-SW-VnV/ikos issues and pull requests

#100 - False positive because of unknown intrinsic function

Issue - State: open - Opened by gh2375 over 5 years ago - 1 comment
Labels: C-false-positive, L-c++

#99 - Improve the uninitialized variable analysis

Issue - State: open - Opened by arthaud over 5 years ago - 7 comments
Labels: C-false-positive, L-c, P-medium

#98 - ikos-scan fails: Nothing to analyze.

Issue - State: closed - Opened by yurivict over 5 years ago - 4 comments
Labels: C-bug, A-ikos-scan

#97 - False positive because of temporary variables

Issue - State: open - Opened by Earnestly over 5 years ago - 5 comments
Labels: C-false-positive, L-c, P-medium

#96 - Support LLVM 8

Issue - State: closed - Opened by yurivict over 5 years ago - 2 comments

#95 - Feature request: Add an option to the print full report to the terminal

Issue - State: closed - Opened by practicalswift over 5 years ago - 5 comments
Labels: C-question

#94 - False positive

Issue - State: closed - Opened by jiachunpeng over 5 years ago - 10 comments
Labels: C-false-positive, L-c

#93 - Feature request: Add support for wildcard entry points (--entry-points=*)

Issue - State: closed - Opened by practicalswift over 5 years ago - 1 comment
Labels: C-feature-request

#92 - ikos-scan fails: error: unknown argument: '-faddrsig'

Issue - State: closed - Opened by yurivict over 5 years ago - 21 comments
Labels: C-bug, A-ikos-scan

#91 - Infinite loop in: Analyzing entry point: main

Issue - State: closed - Opened by kimwalisch over 5 years ago - 2 comments
Labels: T-invalid

#90 - ikos-analyzer only analyzing objects with a `main` entrypoint

Issue - State: closed - Opened by coderobe over 5 years ago - 5 comments
Labels: C-question

#89 - cmake: GNU_MP_VERSION not found in Fedora29

Issue - State: closed - Opened by furkanusta over 5 years ago - 2 comments
Labels: C-bug, C-compiler-error

#88 - False positive in the iostream standard library [1]

Issue - State: closed - Opened by yurivict over 5 years ago - 3 comments
Labels: C-false-positive, L-c++, P-low

#87 - ikos fails on the Eigen3 example: unexpected llvm::BinaryOperator (opcode: fmul)

Issue - State: closed - Opened by yurivict over 5 years ago - 5 comments
Labels: C-bug, L-c++, A-llvm-to-ar

#86 - ikos crashes when filename or path to file contain non-ASCII characters

Issue - State: closed - Opened by mvforell over 5 years ago - 1 comment
Labels: C-bug

#85 - Bogus error "pointer is null"

Issue - State: closed - Opened by yurivict over 5 years ago - 2 comments
Labels: C-question

#84 - Misses the uninitialized field error

Issue - State: closed - Opened by yurivict over 5 years ago - 2 comments

#83 - Complaints about exception catch clause are bogus

Issue - State: closed - Opened by yurivict over 5 years ago - 2 comments
Labels: C-question, L-c++

#82 - Report an error instead of dead code [1]

Issue - State: closed - Opened by yurivict over 5 years ago - 5 comments
Labels: C-bug, L-c++, P-high

#81 - False positive in the iostream standard library [2]

Issue - State: closed - Opened by yurivict over 5 years ago - 3 comments
Labels: C-false-positive, L-c++, P-low

#80 - Bogus error: unreachable: code is dead

Issue - State: closed - Opened by yurivict over 5 years ago - 4 comments
Labels: C-bug, L-c

#79 - mac_os_x brew error: use of undeclared identifier 'iterator'

Issue - State: closed - Opened by OnlyOneCannolo over 5 years ago - 5 comments
Labels: C-bug, C-compiler-error, P-high

#78 - test failure: core-domain-numeric-apron-pkgrid_polyhedra_lin_congruences

Issue - State: closed - Opened by OnlyOneCannolo over 5 years ago - 7 comments
Labels: C-bug, A-apron, C-upstream, P-high

#77 - Fails on a particular function: function @_ZL12formatUInt64m has more than one ehresume block

Issue - State: closed - Opened by yurivict over 5 years ago - 4 comments
Labels: C-bug, L-c++, A-llvm-to-ar

#76 - Clang cannot output bc to a folder that does not exist in windows

Issue - State: closed - Opened by jiachunpeng over 5 years ago - 2 comments
Labels: T-invalid

#75 - error: llvm::DICompositeType with DW_TAG_array_type tag and positive count, but llvm::Type is not a llvm::ArrayType or a llvm::StructType

Issue - State: closed - Opened by arthaud over 5 years ago
Labels: C-bug, A-llvm-to-ar, L-c

#74 - error: llvm global variable has no name

Issue - State: closed - Opened by kimwalisch over 5 years ago
Labels: C-bug, L-c++, A-llvm-to-ar

#73 - [regression] error: no member named 'getDestAlignment' in 'llvm::MemSetInst'; did you mean 'getAlignment'?

Issue - State: closed - Opened by yurivict over 5 years ago - 6 comments
Labels: T-invalid, C-compiler-error

#72 - Assertion `!s.empty()' failed.

Issue - State: closed - Opened by practicalswift over 5 years ago - 2 comments
Labels: C-bug, L-c++

#71 - Assertion `type->getRawElements() != nullptr' failed.

Issue - State: closed - Opened by practicalswift over 5 years ago - 5 comments
Labels: C-bug, L-c++

#70 - Assertion `(it != this->_nesting_table->end()) && ("node not found")' failed.

Issue - State: closed - Opened by practicalswift over 5 years ago - 1 comment
Labels: C-bug, L-c

#69 - error: unexpected llvm::Constant

Issue - State: closed - Opened by practicalswift over 5 years ago - 7 comments
Labels: C-bug, A-llvm-to-ar, L-c

#68 - Assertion `size.is_strictly_positive()' failed.

Issue - State: closed - Opened by practicalswift over 5 years ago - 1 comment
Labels: C-bug, L-c

#67 - Assertion `cst->getNumOperands() == type->num_fields()' failed.

Issue - State: closed - Opened by practicalswift over 5 years ago - 3 comments
Labels: C-bug, A-llvm-to-ar, L-c

#66 - Feature request: Forward -W flags to clang

Issue - State: closed - Opened by practicalswift over 5 years ago - 4 comments
Labels: C-feature-request

#65 - Analysis via ikos-scan does not give same same result as analysis using ikos

Issue - State: closed - Opened by practicalswift over 5 years ago - 2 comments
Labels: C-question

#64 - error: unexpected ar::Type in add_bitcast()

Issue - State: closed - Opened by practicalswift over 5 years ago - 2 comments
Labels: C-bug, L-c++, A-llvm-to-ar

#63 - Build breaks with clang

Issue - State: closed - Opened by yurivict over 5 years ago - 5 comments
Labels: T-invalid, C-compiler-error

#62 - CommandLine Error: Option 'color' registered more than once on Gentoo

Issue - State: closed - Opened by arthaud almost 6 years ago
Labels: C-bug

#61 - Link error on Gentoo

Issue - State: closed - Opened by carys-the-weed-cloud almost 6 years ago - 7 comments
Labels: C-compiler-error

#60 - error: type checker + error: type of parameter %X of function call 'call @Y(%Z)' does not match the function type

Issue - State: closed - Opened by practicalswift almost 6 years ago - 2 comments
Labels: C-bug, L-c++

#59 - Support thread-local storage

Issue - State: closed - Opened by arthaud almost 6 years ago - 3 comments
Labels: L-c++, A-llvm-to-ar

#58 - error: type checker + error: result of statement 'double %1 = sitoptr 1' is not a pointer

Issue - State: closed - Opened by practicalswift almost 6 years ago - 4 comments
Labels: C-bug, L-c++

#57 - error: unexpected condition for llvm::BranchInst

Issue - State: closed - Opened by practicalswift almost 6 years ago - 2 comments
Labels: C-bug, A-llvm-to-ar, L-c

#56 - error: unexpected llvm::BitCastInst

Issue - State: closed - Opened by practicalswift almost 6 years ago - 1 comment
Labels: C-bug, L-c++, A-llvm-to-ar

#55 - error: unexpected llvm::BinaryOperator (opcode: fadd), also "fmul" and "fsub"

Issue - State: closed - Opened by practicalswift almost 6 years ago - 3 comments
Labels: C-bug, L-c++, A-llvm-to-ar

#54 - error: unexpected dwarf encoding for llvm::DIBasicType

Issue - State: closed - Opened by practicalswift almost 6 years ago - 2 comments
Labels: C-bug, A-llvm-to-ar, L-c

#53 - error: llvm function @abs and ar intrinsic @ar.libc.abs have a different type

Issue - State: closed - Opened by practicalswift almost 6 years ago - 3 comments
Labels: A-llvm-to-ar

#52 - False positive on a pointer to integer cast generated by pointer arithmetic

Issue - State: open - Opened by gh2375 almost 6 years ago - 2 comments
Labels: C-false-positive, L-c++, L-c, P-medium

#51 - Support llvm instruction shufflevector

Issue - State: closed - Opened by arthaud almost 6 years ago
Labels: C-bug, A-llvm-to-ar, L-c

#50 - error: unsupported llvm::Instruction in infer_type_hint_use() (opcode: insertelement)

Issue - State: closed - Opened by practicalswift almost 6 years ago - 4 comments
Labels: C-bug, A-llvm-to-ar

#49 - ikos-analyzer stuck and/or running out of memory

Issue - State: closed - Opened by victorjulien almost 6 years ago - 26 comments

#48 - Compile error using ninja

Issue - State: closed - Opened by arthaud almost 6 years ago - 3 comments
Labels: C-compiler-error

#47 - Support flexible array members

Issue - State: closed - Opened by defreez almost 6 years ago
Labels: C-bug, A-llvm-to-ar, L-c

#46 - error: llvm::DICompositeType with DW_TAG_array_type tag and llvm::StructType have a different number of elements

Issue - State: closed - Opened by practicalswift almost 6 years ago - 3 comments
Labels: C-bug, L-c++, A-llvm-to-ar

#45 - error: unexpected opaque llvm::StructType

Issue - State: closed - Opened by practicalswift almost 6 years ago - 1 comment
Labels: C-bug, L-c++, A-llvm-to-ar

#44 - error: llvm::DICompositeType with DW_TAG_array_type tag, but llvm::StructType is not the last element

Issue - State: closed - Opened by practicalswift almost 6 years ago - 1 comment
Labels: C-bug, A-llvm-to-ar, L-c

#43 - error: unexpected ar::Type in add_bitcast()

Issue - State: closed - Opened by practicalswift almost 6 years ago - 2 comments
Labels: C-bug, A-llvm-to-ar, L-c

#42 - Please consider another license

Issue - State: open - Opened by sylvestre almost 6 years ago - 8 comments
Labels: A-license, P-medium

#41 - Support llvm instructions insertelement and extractelement

Issue - State: closed - Opened by arthaud almost 6 years ago
Labels: C-bug, L-c++, A-llvm-to-ar

#40 - error: a run-time error occured - std::sort

Issue - State: closed - Opened by gh2375 almost 6 years ago - 1 comment
Labels: C-bug, L-c++

#39 - warning: pointer might be null/possible use after free - copying between std::vectors

Issue - State: open - Opened by gh2375 almost 6 years ago - 4 comments
Labels: C-false-positive, L-c++, L-c, P-medium

#38 - imprecise on simple example, missing dead code

Issue - State: closed - Opened by arthaud almost 6 years ago
Labels: C-false-positive, L-c

#37 - ikos-analyzer fails: error: llvm::Type and ar::Type alloc size are different

Issue - State: closed - Opened by yurivict almost 6 years ago - 4 comments
Labels: C-bug, A-llvm-to-ar, L-c

#36 - CMAKE_BUILD_TYPE=Release but it says 'ikos was compiled in debug mode'

Issue - State: closed - Opened by yurivict almost 6 years ago - 13 comments
Labels: C-feature-request

#35 - Assertion failed: ((x.bit_width() == y.bit_width()) && ("parameters have a different bit-width")), function assert_compatible

Issue - State: closed - Opened by yurivict almost 6 years ago - 4 comments
Labels: C-bug

GitHub / NASA-SW-VnV/ikos issues and pull requests