symbolic-compilation

There are 0 repository under symbolic-compilation topic.

• Veridise / Medjai

  A Symbolic Execution Tool for Cairo

  cairo-langdefiethereumracketrosettesecuritystarknetstarkwaresymbolic-compilationsynthesisverificationzero-knowledge
  Language:Racket 47

• Veridise / Eurus

  Precise Attack Synthesis for DeFi Apps

  defiethereumsecuritysmart-contractssoliditysymbolic-compilationsynthesisverificationyul
  Language:Racket 45

• chyanju / __archived__Medjai

  A Symbolic Execution Tool for Cairo

  cairo-langdefiethereumsecuritystarknetstarkwaresymbolic-compilationsynthesisverificationracketrosettezero-knowledge
  Language:Racket 15