gordonpace/contractLarva

Issues

• Identify when instrumentation is added after a selfdestruct()

  #11 opened a year ago
  0

• Monitored Variable set_ function is public

  #8 opened 3 years ago
  0

• Variable modification events not being instrumented

  #7 opened 4 years ago
  0

• Getting error "Variable not in scope" compiling

  #6 opened 5 years ago
  2

• Array modification events are not instrumented

  #5 opened 5 years ago
  0

• Added utility functions should be internal

  #4 opened 5 years ago
  0

• Pre and post for variable modification event should only be created when used

  #3 opened 5 years ago
  0

• compilation error

  #1 opened 7 years ago
  3