Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 11, 2019

• Fix more require statements in rubixi

  norhh

  committed
  420a16e

  Copy full SHA for 420a16e

Commits on Mar 7, 2019

• Fix rubixi.sol and walletlibrary.sol

  norhh

  committed
  80fa123

  Copy full SHA for 80fa123

Commits on Feb 6, 2019

• fix bug in independence solver

  JoranHonig

  committed
  61f937b

  Copy full SHA for 61f937b

Commits on Jan 22, 2019

• Merge remote-tracking branch 'upstream/develop' into features/prune

  Show description for 3a77bed
  JoranHonig

  committed
  3a77bed

  Copy full SHA for 3a77bed

Commits on Dec 15, 2018

• Optimize imports

  dmuhs

  committed
  0bdc7ed

  Copy full SHA for 0bdc7ed

Commits on Nov 26, 2018

• Fix example contract modifiers

  dmuhs

  committed
  a047f56

  Copy full SHA for a047f56

Commits on Nov 25, 2018

• Port example contracts to solc 0.5.0

  dmuhs

  committed
  e94aee1

  Copy full SHA for e94aee1

Commits on Oct 26, 2018

• update hashing technique used

  JoranHonig

  committed
  2774fc6

  Copy full SHA for 2774fc6

Commits on Aug 28, 2018

• Revert changes

  JoranHonig

  committed
  d37ba5e

  Copy full SHA for d37ba5e

• Add unique bitvecval creation to state

  JoranHonig

  committed
  f7ee3e5

  Copy full SHA for f7ee3e5

Commits on Jul 22, 2018

• Add real-world examples from https://blog.sigmaprime.io/solidity-security.html

  muellerberndt

  committed
  def580d

  Copy full SHA for def580d

Commits on May 23, 2018

• Fix function names in CFG

  muellerberndt

  committed
  141fec3

  Copy full SHA for 141fec3

Commits on Mar 23, 2018

• Refactor analysis modules

  muellerberndt

  committed
  fba6732

  Copy full SHA for fba6732

• Remove old reentrancy example

  muellerberndt

  committed
  a2d98ec

  Copy full SHA for a2d98ec

• Improve detection of state changes after external call

  muellerberndt

  committed
  06209d6

  Copy full SHA for 06209d6

Commits on Mar 16, 2018

• Bump LASER version

  muellerberndt

  committed
  85d7584

  Copy full SHA for 85d7584

Commits on Mar 15, 2018

• Display func name in CFG, add example

  muellerberndt

  committed
  e2eee11

  Copy full SHA for e2eee11

Commits on Mar 14, 2018

• Change markdown frormatting, add -i cmdline arg

  muellerberndt

  committed
  ab1b686

  Copy full SHA for ab1b686

Commits on Mar 12, 2018

• Finalize return value example

  muellerberndt

  committed
  62eb0b9

  Copy full SHA for 62eb0b9

• Add require statement to exception test file

  muellerberndt

  committed
  f4e5904

  Copy full SHA for f4e5904

• Rewrite 'unchecked_retval' module

  muellerberndt

  committed
  c15b35e

  Copy full SHA for c15b35e

Commits on Mar 11, 2018

• Exception (0xfe) detection and examples

  muellerberndt

  committed
  bb58211

  Copy full SHA for bb58211

Commits on Mar 10, 2018

• Update invalid opcode module

  muellerberndt

  committed
  125336c

  Copy full SHA for 125336c

Commits on Jan 8, 2018

• Remove integer overflow example

  

  Bernhard Mueller

  authored and

  Bernhard Mueller

  committed
  b820f52

  Copy full SHA for b820f52

Commits on Dec 14, 2017

• add basic detection of faulty PRNGs

  Show description for 9f106a8
  Raz0r

  committed
  9f106a8

  Copy full SHA for 9f106a8

Commits on Dec 12, 2017

• Add Solidity examples

  muellerberndt

  committed
  5d00492

  Copy full SHA for 5d00492

• Add more solidity examples

  muellerberndt

  committed
  2c96300

  Copy full SHA for 2c96300

Loading