Consensys/scribble

Issues

• Scribble miscompiles lets inside of an implication

  #275 opened 5 months ago by cd1m0
  0

• Scribble should emit try/require annotations before all other when instrumenting

  #272 opened 6 months ago by cd1m0
  1

• Scribble does not like the at import file path notation

  #271 opened 6 months ago by 0xtr3
  1

• Type inference should allow fixed bytes as arguments to `bytes.concat`

  #269 opened 8 months ago by cd1m0
  1

• Instrumenting a library with fixed bytes keys causes an error

  #267 opened 8 months ago by cd1m0
  1

• scribble type-checker should disallow implicit converstion contract->address for newer solidity versions

  #266 opened 8 months ago by cd1m0
  0

• Using state variable comparison in annotations with `mstore` mode

  #226 opened 2 years ago by blitz-1306
  1

• Interposed functions should be internal not private

  #257 opened a year ago by cd1m0
  1

• Scribble crashes on interposing on calls like `super.fun()`

  #244 opened a year ago by cd1m0
  0

• Deal with constructor interposing logic

  #241 opened a year ago by blitz-1306
  0

• Instrumentation for `immutable`

  #237 opened a year ago by kasperpawlowski
  6

• Scribble generated files are highly sensitive to Solidity version pragma

  #199 opened a year ago by NeverFearTomorrow
  2

• Scribble thinks address is uint

  #218 opened a year ago by NeverFearTomorrow
  5

• Invariant can cause infinite recursion stack overflow

  #201 opened 2 years ago by NeverFearTomorrow
  3

• Provided --compiler-settings quotes are missing - failing JSON parsing

  #208 opened 2 years ago by Jofairden
  3

• Scribble may break when interposing on overloaded functions

  #216 opened 2 years ago by cd1m0
  1

• Scribble instrumentation check is too late

  #219 opened 2 years ago by cd1m0
  1

• Idea: #define usage for functions

  #209 opened 2 years ago by Jofairden
  2

• Scribble breaks on contracts with functions returning pointers

  #214 opened 2 years ago by cd1m0
  0

• Scribble crashes when using solc imports

  #207 opened 2 years ago by Jofairden
  2

• Consider including source location of failure in `AssertionFailed` events

  #168 opened 2 years ago by cd1m0
  1

• Util import is using the wrong path separator

  #206 opened 2 years ago by Jofairden
  3

• Scribble is not compatible with the @openzepplin/hardhat-upgrades plugin

  #202 opened 2 years ago by cd1m0
  4

• Crash: SyntaxError during parsing of scribble file

  #195 opened 2 years ago by NeverFearTomorrow
  8

• __scribble__ReentrancyUtils.sol compiler error.

  #171 opened 2 years ago by elizabethdinella
  2

• Ability to initialize parametrized constructor

  #169 opened 2 years ago by dearzubi
  3

• Impossible to use `forall` variable in `old` expression

  #194 opened 2 years ago by NeverFearTomorrow
  2

• Instrumented try...catch fails compilation step with Mythril

  #191 opened 2 years ago by Thomas-Sciaroni
  3

• Crash: AST parsing problem causes `Expected CustomValueType to be a type name, not UserDefinedValueTypeDefinition`

  #192 opened 2 years ago by NeverFearTomorrow
  1

• Scribble doesnt work for instrumenting libraries

  #188 opened 2 years ago by cd1m0
  1

• Annotation is skipped in specific case

  #176 opened 2 years ago by blitz-1306
  4

• Properly support `UserDefinedType`s to Scribble functions

  #181 opened 2 years ago by zain335
  10

• Ability to write properties across the Smart Contracts and Functions

  #170 opened 2 years ago by dearzubi
  4

• Typechecking logic for `SId`s is overcomplicated

  #182 opened 2 years ago by cd1m0
  0

• Double-checking of state invariants in constructor

  #140 opened 3 years ago by cd1m0
  0

• using Counters.Counter

  #174 opened 3 years ago by efecarranza
  3

• Cannot find module 'path/posix'

  #175 opened 3 years ago by lpassos
  3

• Scribbles grammar generates invalid FixedBytes type objects

  #159 opened 3 years ago by cd1m0
  0

• Consider re-writing private state as internal to allow invariants over private state

  #166 opened 3 years ago by cd1m0
  0

• Scribble doesn't correctly handle private visiblity of state vars

  #163 opened 3 years ago by cd1m0
  1

• Add support for function type in function parameter

  #155 opened 3 years ago by ecp4224
  4

• `ParserError` file not found on truffle-compilation of scribble instrumented code

  #160 opened 3 years ago by cd1m0
  0

• sum from mapping of structs?

  #144 opened 3 years ago by naps62
  6

• Disallow `old()` expressions over maps and arrays

  #152 opened 3 years ago by cd1m0
  4

• scribble produces potentially invalid code given a forall over an old expression

  #150 opened 3 years ago by cd1m0
  1

• scribble produces invalid code given a constant let-binding used in a new context

  #149 opened 3 years ago by cd1m0
  0

• Scribble should support the `RevertStatement`

  #145 opened 3 years ago by cd1m0
  0

• Scribble crashes with "Unexpected node after decomposing a state var ref: SResult"

  #147 opened 3 years ago by cd1m0
  0

• Scribble type-checking should support generic public getters

  #141 opened 3 years ago by cd1m0
  0

• Scribble is not installing through NPM

  #136 opened 3 years ago by dearzubi
  3