facebookexperimental/MIRAI

Issues

• modifying MIR in rustc_interface

  #1258 opened a month ago by gal1ium
  0

• MIRAI fails analysing: error: could not compile <bin>

  #1220 opened a year ago by YannikCode
  2

• Compilation issues on older versions of crates

  #1257 opened 6 months ago by muhammad-hassnain
  0

• Panic on `std::f64::<impl f64>::log2`

  #1254 opened 7 months ago by Zeta611
  1

• Panic while compiling `libm`

  #1252 opened 7 months ago by Zeta611
  3

• MacOS Mirai errors

  #1248 opened 8 months ago by sa6ta6ni6c
  1

• OOM during cargo mirai project analysis

  #1241 opened 9 months ago by anfedotoff
  0

• Is it possible for it to work with async code

  #1240 opened 9 months ago by planetoryd
  0

• How to pass `--cfg` to mirai?

  #1235 opened 10 months ago by AiDaiP
  1

• Does the behavior of add_tag!() and does_not_have_tag!() be affected by type and clone()?

  #1236 opened 10 months ago by AiDaiP
  1

• Running MIRAI in cargo test

  #1200 opened 9 months ago by nud3l
  1

• No warnings shown for library methods

  #1238 opened 9 months ago by planetoryd
  6

• Evaluate Profile-Guided Optimization (PGO) and LLVM BOLT

  #1237 opened 9 months ago by zamazan4ik
  0

• Compiler unexpectedly panicked when execute `cargo mirai`

  #1234 opened 10 months ago by AiDaiP
  0

• Memory Usage for rebuild_std.sh

  #1229 opened 10 months ago by masapr
  3

• Question: Foreign contracts

  #1230 opened a year ago by masapr
  6

• feature request: Annotating traits for attaching tags

  #1224 opened 10 months ago by mimoo
  3

• Lower memory requirements

  #1205 opened a year ago by nitnelave
  2

• Rust WASM toolchain not installed, please install it!

  #1206 opened a year ago by rlaferla
  4

• MIRAI only sees one member of a workspace

  #1233 opened a year ago by TomMD
  4

• question: propagation through closure containing tagged values

  #1225 opened a year ago by mimoo
  14

• Add JSON structure reporting

  #1231 opened a year ago by TomMD
  1

• suggestion: add example + usage in the README

  #1226 opened a year ago by mimoo
  1

• cargo mirai never warns me about anything.

  #1202 opened a year ago by hermanventer
  5

• Environment variable MIRAI_FLAGS or MIRAI_LOG do not work

  #1209 opened a year ago by gfzum
  2

• [Building MIRAI] wrapper.h:1:10: fatal error: 'z3.h' file not found

  #1157 opened 2 years ago by yanliu18
  10

• Build failure

  #1195 opened a year ago by croizier
  3

• Could you please supply a example for "command line options" ?

  #1194 opened 2 years ago by ffanyq
  2

• `libc::sysctlbyname` doesn't show up in call graph output

  #1190 opened 2 years ago by cdstanford
  1

• Request of a nightly Rust toolchain update

  #1188 opened 2 years ago by hiroki-chen
  2

• Problems in tag analysis for vector operations

  #1148 opened 2 years ago by ya0guang
  0

• Tag analysis fails on container types

  #1176 opened 2 years ago by hiroki-chen
  0

• Validation fails on Ubuntu 20.04

  #1130 opened 2 years ago by ya0guang
  12

• failed to run custom build command for `z3-sys v0.7.1`

  #1152 opened 2 years ago by EmirVildanov
  2

• `block_visitor.deserialize_constant_bytes` causes panic

  #1182 opened 2 years ago by acid-chicken
  2

• Interval domain: unsound transfer functions for `div` and `mul`

  #1159 opened 2 years ago by caballa
  2

• Verify tag propagation for multiple type changes

  #1147 opened 2 years ago by ya0guang
  0

• How to verify tag when type changes

  #1131 opened 2 years ago by ya0guang
  5

• MIRAI installation error

  #1137 opened 2 years ago by ya0guang
  1

• Assertion failure when checking a program

  #755 opened 3 years ago by osa1
  1

• Fail build with MIRAI

  #935 opened 3 years ago by zakrush
  5

• Panicked when analyzing `ripgrep`

  #1072 opened 3 years ago by TomMD
  5

• dyld: Library not loaded on M1 mac

  #1060 opened 3 years ago by ioo0s
  1

• dyld: Library not loaded on M1 mac

  #1059 opened 3 years ago by ioo0s
  0

• pub fn main() vs. fn main()

  #947 opened 3 years ago by steveyko
  1

• False Positive during Constant Time Analysis

  #913 opened 3 years ago by aproppos
  1

• Standard contracts not fully rebuilt when a contract is removed

  #899 opened 3 years ago by darioncassel
  2

• Unexpected possible index out of bounds warning in direct vector iteration

  #898 opened 3 years ago by darioncassel
  0

• Tag analysis is not working when tracking Result.

  #902 opened 3 years ago by fshaked
  3

• MIRAI does not complain about missing tag in some cases

  #786 opened 3 years ago by andrew-lee-work
  3