Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jun 19, 2024

• Merge pull request #20 from lisa-analyzer/bugfix

  VincenzoArceri

  committedJun 19, 2024
  dd1ebfb

Commits on Jun 13, 2024

• Removed old benchmarks

  VincenzoArceri

  committedJun 13, 2024
  c538687

• Refactoring benchmark

  merendamattia

  committedJun 13, 2024
  3510b08

Commits on Jun 12, 2024

• Fixed tests and added zero return condition in div, mod & others

  merendamattia

  committedJun 12, 2024
  8476184

• Fixed tests and added zero return condition in div, mod & others

  merendamattia

  committedJun 12, 2024
  9f3bd64

• Missing not

  VincenzoArceri

  committedJun 12, 2024
  fa4e8a2

• Fixing maybe unsound jump computation

  VincenzoArceri

  committedJun 12, 2024
  d562d6c

• Fixed div semantics

  VincenzoArceri

  committedJun 12, 2024
  804306e

Commits on Jun 11, 2024

• Fixed equals and hashCode methods

  merendamattia

  committedJun 11, 2024
  edc800e

• Benchmark: added new smart contract

  merendamattia

  committedJun 11, 2024
  cef3414

• Added bottom propagation in EVM abstract state

  VincenzoArceri

  committedJun 11, 2024
  95c6005

Commits on May 27, 2024

• SSLOAD returns NOT_JUMPDEST_TOP, some updates on statistics' dump

  VincenzoArceri

  committedMay 27, 2024
  12e1576

Commits on May 26, 2024

• Fixing semantics of mload

  VincenzoArceri

  committedMay 26, 2024
  2924de2

Commits on May 25, 2024

• Filtering stacks

  VincenzoArceri

  committedMay 25, 2024
  850ab6f

Commits on May 20, 2024

• Filtering stacks in EVM abstract state

  VincenzoArceri

  committedMay 20, 2024
  030c69e

• Fix in couting definitely unreachable jumps, filtering stacks in JUMP

  VincenzoArceri

  committedMay 20, 2024
  2ba37c4

• Merge pull request #19 from lisa-analyzer/not-jumpdest-top

  VincenzoArceri

  committedMay 20, 2024
  94343b5

Commits on May 17, 2024

• Resolved requests

  merendamattia

  committedMay 17, 2024
  acba68f

Commits on Apr 22, 2024

• Updated tests, spotlessApply and minor changes

  merendamattia

  committedApr 22, 2024
  4103bbe

Commits on Apr 3, 2024

• Updated the calculation of fakeMissedJumps

  merendamattia

  committedApr 3, 2024
  8584f7a

Commits on Apr 1, 2024

• Added the control of stacks size in the fake missed jump condition

  merendamattia

  committedApr 1, 2024
  eb1b081

Commits on Mar 31, 2024

• Bug fixed (counting of fake missed jumps)

  merendamattia

  committedMar 31, 2024
  a7726dd

Commits on Mar 30, 2024

• Updated the calculation of unsolved jumps (added fakeMissedJumps)

  merendamattia

  committedMar 30, 2024
  dce7871

Commits on Mar 29, 2024

• Updated benchmark bytecodes

  merendamattia

  committedMar 29, 2024
  d1c884e

• New benchmark

  merendamattia

  committedMar 29, 2024
  f712530

Commits on Mar 27, 2024

• Removed comments

  merendamattia

  committedMar 27, 2024
  6607d2f

• Merge pull request #18 from lisa-analyzer/stack-set

  VincenzoArceri

  committedMar 27, 2024
  8eb6b25

• New implementation of unsound jumps

  merendamattia

  committedMar 27, 2024
  7ea940f

Commits on Mar 26, 2024

• Minor changes

  merendamattia

  committedMar 26, 2024
  07f65ab

• First implementation of NOT_JUMPDEST_TOP

  merendamattia

  committedMar 26, 2024
  b74d380

Commits on Mar 6, 2024

• Minor changes

  merendamattia

  committedMar 6, 2024
  5cd019a

Commits on Mar 4, 2024

• Some optimizations in JumpSolver

  VincenzoArceri

  committedMar 4, 2024
  1f27408

• Some optimizations in jump checker

  VincenzoArceri

  committedMar 4, 2024
  2519be8

• Some optimizations

  VincenzoArceri

  committedMar 4, 2024
  7847249

• Minor changes

  merendamattia

  committedMar 4, 2024
  dc521d5

Pagination

PreviousNext