TrustInSoft/tis-interpreter

Issues

• Invalid C accepted: width of bit-field exceeds width of its type

  #59 opened 9 years ago by ch3root
  3

• Invalid C accepted: named bit-field of zero width

  #56 opened 9 years ago by ch3root
  0

• Detecting misuse of reserved identifiers

  #87 opened 9 years ago by pascal-cuoq
  5

• No warnings: modification and use of objects with temporary lifetime

  #85 opened 9 years ago by ch3root
  1

• No warnings: unspecified padding after assignment to a member

  #58 opened 9 years ago by ch3root
  11

• No warnings: unspecified results of comparisons of addresses (various cases)

  #62 opened 9 years ago by ch3root
  3

• Provide a gcc-like driver

  #94 opened 9 years ago by o11c
  0

• Feature request: Nonzero exit status on failure.

  #91 opened 9 years ago by FSMaxB
  9

• [git-am patch] Hint about findlib for ocamlfind

  #93 opened 9 years ago by hartwork
  1

• Unexpected error: representation of long double

  #92 opened 9 years ago by ch3root
  0

• No warnings: writes to const objects

  #67 opened 9 years ago by ch3root
  3

• No warnings: `goto` jumps into the scope of VLA

  #90 opened 9 years ago by ch3root
  2

• No warnings: use of elements of VLA outside outside of its lifetime

  #89 opened 9 years ago by ch3root
  0

• Abort: frama-c: src/libraries/utils/c_bindings.c:282: printf_float: Assertion `r >= 0' failed.

  #88 opened 9 years ago by ch3root
  0

• Valid C rejected: initializer for sub-sub-object overrides whole initializer for sub-object

  #81 opened 9 years ago by ch3root
  1

• Invalid C accepted: label without statement

  #86 opened 9 years ago by ch3root
  0

• Wrong result, no warnings: C89/C99 different concepts of a block

  #84 opened 9 years ago by ch3root
  0

• Valid C rejected: declaration with typedef'ed array of unknown size

  #83 opened 9 years ago by ch3root
  0

• Wrong result, no warnings: unnamed member in struct

  #82 opened 9 years ago by ch3root
  0

• No warnings: unspecified evaluation of overriden initializer

  #78 opened 9 years ago by ch3root
  0

• Some aspects of results of standard *cmp() functions are unspecified

  #80 opened 9 years ago by pascal-cuoq
  2

• Local variables under sizeof in static initializers are rejected

  #66 opened 9 years ago by tis-julien
  0

• Valid C rejected: offsetof with tagged struct

  #57 opened 9 years ago by ch3root
  0

• Support for `restrict`

  #69 opened 9 years ago by ch3root
  2

• No warnings: declaration makes variable indeterminate

  #79 opened 9 years ago by ch3root
  4

• Wrong results: strtoul("-0", ...

  #77 opened 9 years ago by ch3root
  0

• Wrong type of %n in scanf

  #76 opened 9 years ago by ch3root
  0

• Wrong results: scanf of partial matching sequences

  #71 opened 9 years ago by ch3root
  1

• Wrong results due to scanf gobbling a full line

  #75 opened 9 years ago by ch3root
  0

• Unexpected error when scanf gets EOF

  #74 opened 9 years ago by ch3root
  0

• Crash: printf 2GB

  #43 opened 9 years ago by ch3root
  13

• Crash: printf with width equal to INT_MIN

  #73 opened 9 years ago by ch3root
  2

• Wrong warning: "Too many arguments for format" in case of input/matching failures

  #72 opened 9 years ago by ch3root
  0

• Support for `volatile`

  #70 opened 9 years ago by ch3root
  1

• Unexpected error with scanf writing into too-short variable

  #68 opened 9 years ago by ch3root
  0

• No warnings: sprintf with overlapping arguments

  #65 opened 9 years ago by ch3root
  1

• No warnings: partially overlapping lvalue assignment for objects of size <= 4 bytes

  #60 opened 9 years ago by ch3root
  4

• No warnings: strcpy with overlapping arguments

  #64 opened 9 years ago by ch3root
  4

• Obscure warning for `printf`ing non-null-terminated string

  #63 opened 9 years ago by ch3root
  0

• Wrong results: strange interaction of bit-field of type (signed) int with variadic functions

  #61 opened 9 years ago by ch3root
  6

• Wrong results: printf("%.d", 0)

  #45 opened 9 years ago by ch3root
  1

• Wrong results: printf("%05.3d\n", 1)

  #47 opened 9 years ago by ch3root
  3

• Wrong results due to macros defined without parentheses

  #50 opened 9 years ago by ch3root
  2

• Integer overflow in calloc

  #48 opened 9 years ago by ch3root
  4

• Unexpected error: unclosed quote or apostrophe

  #53 opened 9 years ago by ch3root
  0

• Wrong warning: "Dropping side-effect in sizeof." for sizeof of compound literal

  #52 opened 9 years ago by ch3root
  0

• Wrong results due to wrong type of multi-character character constant

  #51 opened 9 years ago by ch3root
  0

• No warnings: integer overflow in (non-VLA) array size

  #49 opened 9 years ago by ch3root
  0

• No warnings: printf("%hhd", ... with wrong type

  #46 opened 9 years ago by ch3root
  0

• Unexpected errors: printf with big width or precision

  #44 opened 9 years ago by ch3root
  2