staticafi/sbt-instrumentation

Issues

• Memsafety instrumentation

  #17 opened 3 years ago by xvitovs1
  3

• Instrumentation fails in value-relations plugin

  #57 opened 3 years ago by mchalupa
  1

• Build for LLVM 3.8 fails in predator plugin

  #50 opened 3 years ago by mchalupa
  1

• Use out-of-source build for jsoncpp

  #55 opened 4 years ago by mchalupa
  0

• jsoncpp linker error when using system installation

  #46 opened 4 years ago by tomsik68
  1

• ERROR: Linking instrumentation functions failed!

  #42 opened 5 years ago by Aiswarya-kk
  4

• Cannot open library: libPointsToPlugin.so

  #41 opened 5 years ago by Aiswarya-kk
  0

• ./bootstrap-dg.sh command failed in 'Linking CXX executable llvm-pta-compare'

  #40 opened 5 years ago by Aiswarya-kk
  4

• memsafety: add conditions to memcpy,memset, etc.

  #39 opened 6 years ago by mchalupa
  0

• JSON's "Reader" is deprecated

  #22 opened 6 years ago by jirislaby
  0

• Update README and instr python script

  #26 opened 6 years ago by xvitovs1
  0

• tests fail because of missing .ll files

  #31 opened 7 years ago by mchalupa
  0

• add -version argument

  #28 opened 7 years ago by mchalupa
  0

• va_start and va_end intrinsic

  #27 opened 7 years ago by mchalupa
  0

• no member named 'isInvalidated' in 'dg::analysis::pta::Pointer'

  #23 opened 7 years ago by jirislaby
  2

• Delete local variables at the end of a function

  #16 opened 7 years ago by mchalupa
  1

• Memsafety: replace list of finite state machines with a balanced tree

  #19 opened 7 years ago by xvitovs1
  0

• Update README

  #18 opened 8 years ago by xvitovs1
  1

• Check properly for store/load instructions

  #15 opened 8 years ago by mchalupa
  1

• refactoring

  #7 opened 8 years ago by xvitovs1
  1

• Support finding sequences of instructions

  #4 opened 8 years ago by xvitovs1
  0

• Destroy finite state machines at the end

  #5 opened 8 years ago by xvitovs1
  0

• Linking .c files from config file

  #3 opened 8 years ago by xvitovs1
  0

• paths in instr script

  #6 opened 8 years ago by xvitovs1
  0

• Support inserting more instructions than just call

  #2 opened 9 years ago by xvitovs1
  0

• Remove namespace std, endlns, ...

  #1 opened 9 years ago by xvitovs1
  0