TrustInSoft/tis-interpreter

Issues

• Error in Build!

  #142 opened 7 years ago by QuestionPython
  2

• maybe you could run it on the C codes inside of cryptokit

  #145 opened 6 years ago by UnixJunkie
  1

• How to catch issues when using tis-interpreter.sh

  #143 opened 6 years ago by sijohans
  3

• build failure: "src/libraries/utils/hook.ml", implementation does not match the interface

  #140 opened 7 years ago by mulle-nat
  1

• GCC Builtins

  #144 opened 6 years ago by mrigger
  0

• strict aliasing not checked

  #125 opened 8 years ago by albertnetymk
  5

• Support uint128_t

  #141 opened 7 years ago by ysangkok
  3

• Build failure: Cannot find file yojson.cmo

  #139 opened 7 years ago by aaaaaa4
  3

• Fails to build with ocamlc 4.04

  #137 opened 8 years ago by tavianator
  2

• Fail to parse _Generic macro

  #138 opened 7 years ago by jacquesf
  1

• a soundness bug (perhaps due to mishandling of parameter passing?)

  #136 opened 8 years ago by zhendongsu
  6

• false warning of "sub-expression cannot be evaluated"

  #133 opened 8 years ago by zhendongsu
  3

• false warning of unsequenced multiple accesses (involving the assignment operator)

  #135 opened 8 years ago by zhendongsu
  0

• false warning of unsequenced multiple accesses (the comma operator mistreated)

  #132 opened 8 years ago by zhendongsu
  0

• crashes on function with no appropriate return value

  #134 opened 8 years ago by zhendongsu
  0

• Error: Unbound module Z

  #131 opened 8 years ago by nathansizemore
  2

• Doesn't install tis-interpreter.sh

  #95 opened 9 years ago by kroeckx
  1

• strtol() raises Builtins_lib_tis_scanf_new.Input_failure

  #130 opened 8 years ago by tavianator
  2

• “sub-expression cannot be evaluated” message when masking pointer representations

  #128 opened 8 years ago by albertnetymk
  4

• false positive dangling pointer

  #127 opened 8 years ago by albertnetymk
  1

• Clarify in README where licenses are

  #126 opened 8 years ago by david-a-wheeler
  0

• malloc() returns null mode

  #107 opened 9 years ago by kroeckx
  4

• Maybe related work

  #124 opened 8 years ago by albertnetymk
  1

• No warnings: treatment of bit-fields differ between compilers

  #123 opened 8 years ago by ch3root
  5

• gmtime

  #110 opened 8 years ago by kroeckx
  1

• Unexpected error: assignment of structs with flexible array members

  #114 opened 8 years ago by ch3root
  1

• Wrong results: unary plus doesn't promote its operand

  #122 opened 8 years ago by ch3root
  1

• No warnings: offsetof and flexible array member -- overflows and negative indices

  #121 opened 8 years ago by ch3root
  0

• Wrong error, Valid C rejected: struct with flexible array member considered incomplete type

  #118 opened 8 years ago by ch3root
  1

• Invalid C accepted: non-last flexible array member etc.

  #120 opened 8 years ago by ch3root
  1

• Wrong ABI: structs with unnamed bit-fields

  #119 opened 8 years ago by ch3root
  0

• No warnings: passing too-short array to array parameter with `static` size

  #117 opened 8 years ago by ch3root
  1

• Wrong results: type of enum constants

  #116 opened 9 years ago by ch3root
  1

• when a union has an initializer, do parts of the union that only exist in variants other than the specified one have defined contents?

  #108 opened 9 years ago by comex
  3

• Wrong results: printf treats all enums as ints

  #111 opened 9 years ago by ch3root
  1

• Invalid C accepted: duplicate members in struct/union

  #115 opened 9 years ago by ch3root
  0

• Excess initializers are not analyzed -- constraint violations, UB, etc.

  #113 opened 9 years ago by ch3root
  0

• Valid C rejected: designator for a member of unnamed substructure

  #112 opened 9 years ago by ch3root
  0

• No warnings: preprocessor -- sources of indeterminacy, dependancy on a compiler etc.

  #109 opened 9 years ago by ch3root
  1

• Latest commit broke things

  #105 opened 9 years ago by kroeckx
  1

• No warning: storing a trap representation into _Bool

  #101 opened 9 years ago by ch3root
  9

• Pointer math

  #103 opened 9 years ago by kroeckx
  8

• No warnings: copying `_Bool`s with trap representation

  #100 opened 9 years ago by ch3root
  1

• No warning: copying padding in long double

  #106 opened 9 years ago by ch3root
  1

• Support for alignment

  #104 opened 9 years ago by ch3root
  3

• Unexpected error: long string literal in initializer

  #102 opened 9 years ago by ch3root
  4

• No char_equal_ignore_case()

  #99 opened 9 years ago by kroeckx
  1

• signed overflow.

  #98 opened 9 years ago by kroeckx
  2

• \pointer_comparable error message

  #96 opened 9 years ago by kroeckx
  5

• Speed

  #97 opened 9 years ago by kroeckx
  5