ikos

ikos copied to clipboard

installation guide

5

hi. which set of docs are relevant wrt the installation? there are two installation paths that appear to be distinct--one in docs and another in the main readme. which is...

gitrj95

Type checker error translating LLVM bitcode to AR

8

I attempted to analyze [Blender](https://wiki.blender.org/wiki/Building_Blender) with IKOS. It fails during the "Translating LLVM bitcode to AR" step with the following errors: ``` /home/dev/01-data/02-software/ikos-install/bin/ikos -a=nullity blender.bc [*] Running ikos preprocessor [*]...

robertguetzkow

This repo still has a `.travis.yml` and a Travis CI status badge (showing an error) in the README, but since [Travis stopped supporting open-source projects](https://blog.travis-ci.com/oss-announcement) a while ago, the last...

mbrukman

To be compatible with easy_install, it would be nice to have the build process generate the final .egg file (and not just the egg-info directory). Otherwise, I'm having to zip...

mjeronimo

Upgrade to LLVM 10

5

Hi @arthaud, This patch also supports LLVM 9, due to test reason. This PR is very naive version for supporting LLVM 11. IMHO, you have wanted to separate IKOS and...

iamwonseok

running `yes | ikos-scan -q make -j4 -e --file=Makefile CFLAGS='-g -O0'` on [bwa](https://github.com/lh3/bwa) results in the following error, even with using advice from #4: ``` Analyze bwa? [Y/n] We only...

tw42pi

Uninitialized Function Pointer Results In Safe

4

Hello, I'm messing around with IKOS a bit and had an interesting result with this test case: ``` void unsafe() { char buffer[10]; buffer[10] = 0; } void safe() {...

kbittick

"Unreachable code" messages when using gtest

2

Using IKOS in Google tests projects results in IKOS detecting unreachable code in global C++ objects. Apparently, IKOS is examining these global functions/constructors but sees no path to them from...

mjeronimo

In order to integrate with the Jenkins CI/CD tool, it would be helpful to have IKOS output detected issues in the JUnit XML format, which is understood by Jenkins.

mjeronimo

Install for centos 8

2

Added install instructions for installation onto a clean Centos 8 install. This also includes a small change to get the bootstrap script to work if a new enough version of...

Rob-McKay