sslab-gatech/Rudra

Issues

• `SliceFromRaw` False Negative

  #59 opened 3 months ago by stoneman258
  0

• UnsafeDestructor False Negative

  #58 opened 3 months ago by stoneman258
  0

• Updating to a more recent version of rust compiler

  #51 opened 2 years ago by sydhds
  3

• Some test cases in panic_safety seem confusing

  #54 opened 10 months ago by panoob
  3

• Could not obtain Cargo metadata

  #11 opened 10 months ago by Morganamilo
  10

• Failed to load source for dependency

  #13 opened 10 months ago by ArneVogel
  1

• Failed to run 'cargo rudra' for crates

  #16 opened 10 months ago by VaynNecol
  2

• Standalone examples for Rudra

  #50 opened 10 months ago by aytey
  1

• Why not publish a crate for rudra?

  #52 opened 10 months ago by mcandre
  1

• Rudra's semantic diverged from the paper's version

  #56 opened 10 months ago by Qwaz
  0

• update compiler-version for `edition2021` support

  #19 opened 10 months ago by M1cha
  7

• custom-build:build-script-build is not supported

  #23 opened a year ago by r-wheeler
  3

• Update to latest rust version

  #53 opened 2 years ago by Bergmann89
  3

• GitHub action

  #20 opened 3 years ago by kirawi
  5

• Rudra not compiling with derive(Default)

  #25 opened 3 years ago by matanmarkind
  2

• Rudra can't work well because the toolchain used is quite old.

  #24 opened 3 years ago by SocialistDalao
  2

• Support SARIF output

  #22 opened 3 years ago by GeekMasher
  0

• Suppress negative impl for SendSyncVariance implementations

  #18 opened 3 years ago by Qwaz
  1

• Rudra panics while stdlib analysis after updating it to 2021-08-20

  #17 opened 3 years ago by Qwaz
  0

• Update to newer rust version?

  #8 opened 3 years ago by Luro02
  2

• Failed to load source for dependency

  #15 opened 3 years ago by fuzious
  1

• Pre-built docker image?

  #12 opened 3 years ago by sobolevn
  4