Search results

clang prints many warnings like this: warning: identifier '_EndVariableKind' is reserved because it starts with '_' followed by a capital letter [-Wreserved-identifier]

Status: Open.

#314 In NASA-SW-VnV/ikos;

· yurivict opened on Jan 8, 2025

brew install fails

Status: Open.

#313 In NASA-SW-VnV/ikos;

· wayneforrest opened on Jan 7, 2025

Fails on Arch Linux

Status: Open.

#307 In NASA-SW-VnV/ikos;

· latekvo opened on Dec 31, 2024

Fails on macOS Sequoia ver. 15.1.1 INTEL

Status: Open.

#306 In NASA-SW-VnV/ikos;

· hguevara opened on Nov 29, 2024

TypeError occurred while using ikos-view

Status: Open.

#303 In NASA-SW-VnV/ikos;

· ChAoSUnItY opened on Nov 23, 2024

Compilation failure when using ikos-scan to analyze a whole project

Status: Open.

#300 In NASA-SW-VnV/ikos;

· fouzhe opened on Nov 17, 2024

Using reserved-identifier

Status: Open.

#299 In NASA-SW-VnV/ikos;

· fliiiix opened on Nov 16, 2024

Multiple tests fail with "Option 'no-type-check' registered more than once!"

Status: Open.

#295 In NASA-SW-VnV/ikos;

· TheBjoel2 opened on Nov 8, 2024

Potentially Unsafe Buffer Overflow Not Detected with scanf User Input in Buffer Overflow Analysis

Status: Open.

#294 In NASA-SW-VnV/ikos;

· ouatu-ro opened on Nov 2, 2024

Support LLVM 20

C-feature-requestCategory: Feature RequestCategory: Feature Request

Status: Open.

#277 In NASA-SW-VnV/ikos;

· DarkTyger opened on Sep 9, 2024

Problems with multiple allocation sites

C-feature-requestCategory: Feature RequestCategory: Feature Request

L-cLanguage: CLanguage: C

Status: Open.

#215 In NASA-SW-VnV/ikos;

· peckto opened on Jul 18, 2023

A might be uninitialized message after being initialized

C-false-positiveCategory: False PositiveCategory: False Positive

L-cLanguage: CLanguage: C

Status: Open.

#208 In NASA-SW-VnV/ikos;

· Ganton opened on May 23, 2023