AliveToolkit/alive2

Issues

• False positive with nocapture

  #1086 opened 2 months ago by nikic
  3

• Same IR Code, But Verification Fail

  #1087 opened 2 months ago by IamYJLee
  7

• sameness up to UB

  #1088 opened 2 months ago by DaKnig
  5

• issue with aligned pointers

  #1015 opened 9 months ago by regehr
  1

• Backwards compatibility with earlier LLVM versions

  #1084 opened 3 months ago by can-leh-emmtrix
  1

• [Q] if local-block id and offset is zero, example output is null.

  #1080 opened 4 months ago by IamYJLee
  1

• Using Alive2 as a library

  #1075 opened 4 months ago by can-leh-emmtrix
  1

• crash in saveBitcode function

  #1072 opened 4 months ago by IamYJLee
  5

• Invalid counterexample which conflicts with ninf

  #1070 opened 4 months ago by dtcxzyw
  1

• Is "and i32 undef, 1" an zero?

  #1071 opened 4 months ago by IamYJLee
  1

• Uninitialized memory treated as poison

  #1067 opened 5 months ago by nikic
  2

• Why are we reinitializing the variable 'e'?

  #1069 opened 4 months ago by IamYJLee
  1

• another pointer issue (with -tgt-is-asm)

  #1068 opened 4 months ago by regehr
  0

• arm-tv issue with the null pointer

  #1066 opened 5 months ago by regehr
  0

• False negative with the sign bit of nans

  #1037 opened 5 months ago by dtcxzyw
  8

• possible regression witn ptr2int

  #1055 opened 5 months ago by regehr
  3

• wrong result?

  #1065 opened 5 months ago by regehr
  2

• clang format

  #1063 opened 5 months ago by Hels15
  1

• wrong result witn int2ptr?

  #1062 opened 5 months ago by regehr
  1

• oops one more memory model thing

  #1059 opened 5 months ago by regehr
  2

• possible wrong result due to @llvm.is.constant

  #1061 opened 5 months ago by regehr
  0

• Implement new semantics for writeonly

  #1058 opened 5 months ago by nunoplopes
  0

• another possible bug with -tgt-is-asm and oversized loads

  #1053 opened 5 months ago by regehr
  0

• wrong `xor` computation

  #1056 opened 5 months ago by bonjune
  1

• false positive with indirect calls

  #1054 opened 5 months ago by nunoplopes
  1

• possible issue with new asm-mode support for non-byte-sized loads

  #1052 opened 5 months ago by regehr
  2

• target-side padding for non-byte-sized loads/stores

  #1019 opened 5 months ago by regehr
  4

• False positive when both `noundef` and `range` attrs are specified

  #1048 opened 5 months ago by dtcxzyw
  0

• Add support for gep's nuw nusw attributes

  #1033 opened 6 months ago by Hels15
  2

• possible vector instrinsics inconsistency?

  #1045 opened 6 months ago by avery-laird
  9

• Issue that cannot see SMT query.

  #1036 opened 6 months ago by IamYJLee
  12

• `ERROR: program doesn't type check!` is raised when the intrinsic call has both noundef and range metadata.

  #1043 opened 6 months ago by dtcxzyw
  0

• Is this a false positive?

  #1042 opened 6 months ago by Ryuanxue
  1

• LLVM version

  #1040 opened 6 months ago by Ryuanxue
  1

• Incorrect handling of undef values

  #1039 opened 6 months ago by artagnon
  1

• Incorrect handling of poison values

  #1038 opened 6 months ago by artagnon
  1

• Add a flag to disable counterexamples with type punning through memory

  #1035 opened 6 months ago by nunoplopes
  1

• Add support for pointers larger than 64 bits

  #1031 opened 7 months ago by FlashSheridan
  5

• bug relating to too-big store?

  #1034 opened 6 months ago by regehr
  1

• Consider the new 2-phase memory model

  #1030 opened 7 months ago by nunoplopes
  2

• Load widening for higher aligned pointer incorrectly reported as undefined

  #1028 opened 7 months ago by arsenm
  2

• byval arg & memory(argmem) don't work together

  #1029 opened 7 months ago by nunoplopes
  0

• add support for range attribute in args and ret val

  #1021 opened 7 months ago by nunoplopes
  0

• False positive and different refined value of `zext undef`

  #1025 opened 8 months ago by XChy
  3

• Errors about unsupported instruction `invoke`

  #1026 opened 8 months ago by HKalbasi
  4

• Add support for poison-generating flags `nuw`/`nsw` to `trunc`

  #1023 opened 8 months ago by antoniofrighetto
  0

• Unknown command line argument '-tv'

  #1022 opened 8 months ago by singhsanjana
  7

• missed alarm?

  #1020 opened 9 months ago by regehr
  2

• undesirable poison in return value

  #1018 opened 9 months ago by regehr
  1

• Source function always being UB warning may be missing

  #1017 opened 9 months ago by antoniofrighetto
  3