Search results

IKOS fails to find <code>&lt;stdlib.h&gt;</code> when compiling C++

Status: Open.

#327 In NASA-SW-VnV/ikos;

· ivanperez-keera opened on Feb 9, 2026

Compilation failure for version v3.5-2-gac7f7c1 (latest today)

Status: Open.

#326 In NASA-SW-VnV/ikos;

· x3x7 opened on Jan 23, 2026

LLVM with Ubuntu in Docker

Status: Open.

#323 In NASA-SW-VnV/ikos;

· researcherben opened on Sep 3, 2025

IKOS install on Centos 9

Status: Open.

#320 In NASA-SW-VnV/ikos;

· sstarn1 opened on Jul 10, 2025

<code>unknown warning option</code> when running ikos-scan on NASA cFS

Status: Open.

#319 In NASA-SW-VnV/ikos;

· MichaelBonnet opened on Mar 28, 2025

brew install fails

Status: Open.

#313 In NASA-SW-VnV/ikos;

· wayneforrest opened on Jan 7, 2025

Fails on <code>Arch Linux</code>

Status: Open.

#307 In NASA-SW-VnV/ikos;

· latekvo opened on Dec 31, 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 <code>ikos-scan</code> 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 <code>scanf</code> User Input in Buffer Overflow Analysis

Status: Open.

#294 In NASA-SW-VnV/ikos;

· ouatu-ro opened on Nov 2, 2024