PLSysSec/sys

Issues

• concroob - More explanations about the check and on a real case

  #24 opened 2 months ago by marcinguy
  1

• Uninit checker - false positive?

  #23 opened 2 months ago by marcinguy
  6

• More SysDSL docs & tutorial

  #21 opened 2 months ago by marcinguy
  1

• BC (bitcode) or LL (LLVM assembly language format)

  #20 opened 2 months ago by marcinguy
  1

• OOM (Out of Memory) Issues

  #19 opened 2 months ago by marcinguy
  12

• A

  #32 opened 2 months ago by Attttar
  0

• DecodeException "Unknown subclass id for DINode: MDSubclassID 26"

  #15 opened 4 years ago by killer933
  4

• Failure to build

  #30 opened 2 years ago by khanhckn
  1

• unhandled function attribute enum value: FunctionAttributeKind 26

  #16 opened 4 years ago by Gavazzi1
  7

• build fail

  #29 opened 3 years ago by zxsjw
  3

• Write too large with Firefox

  #28 opened 4 years ago by suyashmahar
  0

• Unify checker outputs

  #5 opened 4 years ago by deian
  5

• Timed out when perform the uninit check

  #25 opened 4 years ago by pcy190
  2

• Expand command line options for things like timeout

  #26 opened 4 years ago by mlfbrown
  0

• Map LLVM bug paths back to source

  #6 opened 4 years ago by deian
  1

• Is it architecture independent?

  #18 opened 4 years ago by marcinguy
  1

• LLVM/Sys understanding checks output - sample concroob

  #17 opened 4 years ago by marcinguy
  1

• 32bit taint checker

  #14 opened 4 years ago by chadbrewbaker
  2

• bad detect heapoob bug

  #13 opened 4 years ago by maldiohead
  1

• LLVM 8 listed as dependency but LLVM 9 used

  #9 opened 4 years ago by rpw
  2

• please add a Dockerfile

  #12 opened 4 years ago by vanhauser-thc
  1

• build the project failed

  #8 opened 4 years ago by maldiohead
  4

• Optional Kildall for static checking pass

  #4 opened 4 years ago by deian
  1

• Lookat at potential UAF FP regression

  #7 opened 4 years ago by deian
  0

• Optionally suppress uninit reports that come from loop headers

  #3 opened 4 years ago by deian
  0

• Checkers that enter all function calls

  #2 opened 4 years ago by deian
  0

• Insert/extract value seem to be broken

  #1 opened 4 years ago by deian
  0