Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 24, 2019

• [analyzer] Fix imprecision on xor because of a typo

  arthaud

  committed
  e3cc9c4

  Copy full SHA for e3cc9c4

Commits on Apr 18, 2019

• [ar] Add a method to replace a statement in a basic block

  arthaud

  committed
  1c708ba

  Copy full SHA for 1c708ba

Commits on Apr 17, 2019

• [ar] Fix NASA-SW-VnV#116: Wrong store size for structures

  arthaud

  committed
  47ca930

  Copy full SHA for 47ca930

Commits on Apr 15, 2019

• [analyzer] Mark const the pointer parameter of read-only intrinsics

  Show description for e09dd31
  arthaud

  committed
  e09dd31

  Copy full SHA for e09dd31

• [doc] Remove redundant information

  arthaud

  committed
  57e39b5

  Copy full SHA for 57e39b5

Commits on Apr 10, 2019

• [analyzer] Improve the analysis of strncpy calls

  arthaud

  committed
  a89ed15

  Copy full SHA for a89ed15

• [analyzer] Add the intrinsic __ikos_assume_mem_size

  arthaud

  committed
  6ce8bff

  Copy full SHA for 6ce8bff

Commits on Apr 8, 2019

• [llvm-to-ar] Fix NASA-SW-VnV#112: Support DW_ATE_UTF dwarf encoding

  arthaud

  committed
  f431373

  Copy full SHA for f431373

• [analyzer] Fix NASA-SW-VnV#114: Trying to call is_null() on bottom

  arthaud

  committed
  fab1aef

  Copy full SHA for fab1aef

• [llvm-to-ar] Treat _errno as __errno_location

  Show description for e192eb2
  arthaud

  committed
  e192eb2

  Copy full SHA for e192eb2

• Upgrade to LLVM 8 (closes NASA-SW-VnV#96)

  arthaud

  committed
  d979046

  Copy full SHA for d979046

Commits on Mar 30, 2019

• [analyzer] Fix string textual representations in __ikos_print_values

  arthaud

  committed
  14693b0

  Copy full SHA for 14693b0

• [analyzer] Skip the ending null byte in string textual representations

  arthaud

  committed
  1ef9c7f

  Copy full SHA for 1ef9c7f

• [analyzer] Improve the intrinsic __ikos_print_values

  Show description for 6e9b4a8
  arthaud

  committed
  6e9b4a8

  Copy full SHA for 6e9b4a8

Commits on Mar 28, 2019

• [core] Fix NASA-SW-VnV#113: Check for bottom after calling forget in VarPackingDomain

  arthaud

  committed
  4668700

  Copy full SHA for 4668700

Commits on Mar 27, 2019

• [analyzer] Add the intrinsic __ikos_check_string_access

  arthaud

  committed
  7667815

  Copy full SHA for 7667815

Commits on Mar 26, 2019

• [analyzer] Add the intrinsic __ikos_forget_mem and __ikos_abstract_mem

  arthaud

  committed
  b156aa4

  Copy full SHA for b156aa4

• [llvm-to-ar] Treat __errno as __errno_location

  Show description for 45f50e1
  arthaud

  committed
  45f50e1

  Copy full SHA for 45f50e1

• [analyzer] Remove unused VaArgMemoryLocation

  arthaud

  committed
  0cf9fe7

  Copy full SHA for 0cf9fe7

Commits on Mar 25, 2019

• [ar] Cosmetic change

  Show description for 7b1b332
  arthaud

  committed
  7b1b332

  Copy full SHA for 7b1b332

• [analyzer] Model the libc variable errno

  Show description for b18ff14
  arthaud

  committed
  b18ff14

  Copy full SHA for b18ff14

Commits on Mar 22, 2019

• [analyzer] Add the intrinsic function __ikos_check_mem_access

  arthaud

  committed
  100a1f1

  Copy full SHA for 100a1f1

Commits on Mar 21, 2019

• [analyzer] Fix NASA-SW-VnV#111: False negative in strncpy and strncat

  arthaud

  committed
  75e0a0e

  Copy full SHA for 75e0a0e

• [script] Install clang-tools-extra in the bootstrap script

  arthaud

  committed
  be17598

  Copy full SHA for be17598

Commits on Mar 14, 2019

• [analyzer] Add the ikos-scan-extract command line tool

  Show description for 38c85de
  arthaud

  committed
  38c85de

  Copy full SHA for 38c85de

• [script] Build LLVM with all available targets in the bootstrap script

  arthaud

  committed
  f495515

  Copy full SHA for f495515

Commits on Mar 8, 2019

• [script] Update bootstrap script

  Show description for 38d2ca2
  arthaud

  committed
  38d2ca2

  Copy full SHA for 38d2ca2

Commits on Mar 5, 2019

• [analyzer] Fix NASA-SW-VnV#109: Do not report unreachable statements as dead code

  arthaud

  committed
  cceda91

  Copy full SHA for cceda91

• [analyzer] Show the progress of the interprocedural value analysis

  Show description for 18c3fef
  arthaud

  committed
  18c3fef

  Copy full SHA for 18c3fef

Commits on Feb 28, 2019

• [analyzer] Split the value analysis in multiple files and directories

  arthaud

  committed
  1606ed4

  Copy full SHA for 1606ed4

Commits on Feb 27, 2019

• [analyzer] Fix NASA-SW-VnV#108: Compiler error with boost 1.55.0

  Show description for a8e671a
  arthaud

  committed
  a8e671a

  Copy full SHA for a8e671a

• [analyzer] Show the progress of the analysis

  Show description for f40160e
  arthaud

  committed
  f40160e

  Copy full SHA for f40160e

Commits on Feb 23, 2019

• [analyzer] Propagate bottom when reaching an invalid function call

  Show description for 5244fd8
  arthaud

  committed
  5244fd8

  Copy full SHA for 5244fd8

• [analyzer] Rename options '--disable-XXX' in '--no-XXX'

  Show description for 3e847b3
  arthaud

  committed
  3e847b3

  Copy full SHA for 3e847b3

• [analyzer] Fix a bug in the dead code checker

  Show description for e69a0fe
  arthaud

  committed
  e69a0fe

  Copy full SHA for e69a0fe

Pagination

Previous

Next