microsoft/verisol

Issues

• This repo is missing important files

  #277 opened 2 years ago by microsoft-github-policy-service
  0

• Using VeriSol with solc 0.8+

  #274 opened 3 years ago by jcrreis
  1

• question: Switching between solidity versions

  #267 opened 5 years ago by MalteRei
  1

• Is this still going to be maintained?

  #273 opened 3 years ago by solauditor
  4

• Question: what does the json file do in the config directory? Can I specify the options of verisol in the .sol file?

  #271 opened 4 years ago by skywormfol
  1

• [BUG] The function **TranslateCallStatement** may cause Null Pointer Exception.

  #269 opened 4 years ago by BigGan
  2

• question: detection of reentrancy and unchecked send vulnerability

  #264 opened 5 years ago by yxliang01
  3

• Issue with the Windows image in build pipeline

  #262 opened 5 years ago by shuvendu-lahiri
  0

• Unhandled Exception: cba.Util.InvalidProg: Cannot resolve __SolToBoogieTest_out.bpl

  #260 opened 5 years ago by syscoopco
  3

• ...a reference guide draft or similar to ease defining and integrating proofs?

  #259 opened 5 years ago by syscoopco
  2

• Add modifies clauses

  #220 opened 5 years ago by shuvendu-lahiri
  2

• VeriSol translation error - Expecting a call of the form e.send/e.transfer/e.call, but found transfer(msg.sender, _to, _value)

  #258 opened 5 years ago by syscoopco
  2

• Running solc on Ubuntu 18.04: Unhandled Exception: System.ComponentModel.Win32Exception: No such file or directory at Interop.Sys.ForkAndExecProcess

  #256 opened 5 years ago by syscoopco
  3

• Unhandled Exception : System.IO.IOException: Broken pipe

  #246 opened 5 years ago by fog93
  1

• Verisol crashes on contracts with array allocation

  #195 opened 5 years ago by fredfeng
  2

• Locals in Modifier

  #248 opened 5 years ago by stephensj2
  1

• Solidity Casting between address and int types

  #247 opened 5 years ago by stephensj2
  0

• VeriSol Calldata translation

  #249 opened 5 years ago by stephensj2
  2

• Assertion Violation due to Super

  #233 opened 5 years ago by stephensj2
  0

• Inline assembly is not implemented

  #242 opened 5 years ago by ellab123
  2

• Transfer Translation

  #230 opened 5 years ago by stephensj2
  1

• Type Modifier Translation Error

  #237 opened 5 years ago by stephensj2
  1

• Line number -1 error

  #238 opened 5 years ago by stephensj2
  0

• "hex" literals are not handled

  #236 opened 5 years ago by ellab123
  1

• Conversions between fixed-size byte arrays of different lengths are wrong

  #234 opened 5 years ago by ellab123
  1

• Support implicit conversion from "bytes" to "string" for function arguments

  #229 opened 5 years ago by ellab123
  1

• Scientific Notation not Supported

  #235 opened 5 years ago by stephensj2
  0

• Multiple Return Value Assertion Violation

  #232 opened 5 years ago by stephensj2
  0

• "super" keyword is not implemented

  #227 opened 5 years ago by ellab123
  0

• No such file or directory

  #223 opened 5 years ago by enderphan94
  3

• Code generation for implicit parameters

  #222 opened 5 years ago by shuvendu-lahiri
  0

• Literals of large constants are not supported

  #216 opened 5 years ago by ellab123
  1

• Add timeout for Boogie and Corral components

  #219 opened 5 years ago by shuvendu-lahiri
  0

• Run VeriSol regressions with custom flags

  #208 opened 5 years ago by shuvendu-lahiri
  0

• Dump Boogie/SMT-LIB

  #217 opened 5 years ago by yoni206
  1

• Verisol inheritance problem of events in grandchild

  #199 opened 5 years ago by bmarwritescode
  0

• Handle parameter assignments in Solidity

  #209 opened 5 years ago by ellab123
  0

• Deeply nested expressions in specifications

  #203 opened 5 years ago by shuvendu-lahiri
  0

• Verisol fails on call with non-empty argument

  #196 opened 5 years ago by bmarwritescode
  1

• Harness creation may fail with identical variable names in two public function

  #189 opened 5 years ago by shuvendu-lahiri
  0

• handle block related members

  #192 opened 5 years ago by shuvendu-lahiri
  0

• Handle tx related variables

  #193 opened 5 years ago by shuvendu-lahiri
  0

• Multi-dimensional mappings are not zero-initialized

  #188 opened 5 years ago by daejunpark
  0

• Need to break up msg.sender.transfer

  #185 opened 5 years ago by shuvendu-lahiri
  0

• Support calls to external stub methods

  #176 opened 5 years ago by shuvendu-lahiri
  0

• Make Corral and Boogie netcore projects

  #173 opened 5 years ago by shuvendu-lahiri
  0

• VeriSol dll should warn for the ill-formed name of top-level contract

  #159 opened 5 years ago by shuvendu-lahiri
  2

• Line numbers in corral.txt for functions with modifiers are wrong

  #167 opened 5 years ago by ellab123
  0

• Line number in corral.txt is wrong for implicit constructor

  #166 opened 5 years ago by ellab123
  0

• Port the workbench examples to solc 0.5.0

  #158 opened 5 years ago by shuvendu-lahiri
  0