Code

implement analysis of conflict keys#2

Code

Merged

bxq2011hust merged 30 commits intomainWeBankBlockchain/cargo-liquid:mainfrom devWeBankBlockchain/cargo-liquid:devCopy head branch name to clipboardDec 7, 2021

+7,673-535

Commits

Commits on Jun 3, 2021

• add terminal animation during waiting for task's execution

  vita-dounai

  committed
  f29ed68

• Merge pull request #1 from vita-dounai/dev

  Show description for 398e98e
  vita-dounai

  authored
  398e98e

Commits on Jul 19, 2021

• implement IFDS solver

  vita-dounai

  committed
  bcaceff

Commits on Jul 30, 2021

• impl andersen point-to analysis and define conflict fields problem

  vita-dounai

  committed
  714cd0d

Commits on Aug 2, 2021

• support field-sensitivity in problem of conflict fields

  vita-dounai

  committed
  589878d

• write to ABI json file after analyzing

  vita-dounai

  committed
  4b4fa52

Commits on Aug 5, 2021

• display warnings in console and write conflict fields to abi json file

  vita-dounai

  committed
  2f47fd4

• add rust-toolchain file

  vita-dounai

  committed
  8b7827c

• fix crash when pfg meets recursion

  vita-dounai

  committed
  3bd7ad4

Commits on Aug 11, 2021

• simplify analisys behavior

  vita-dounai

  committed
  e151125

Commits on Sep 6, 2021

• support solidity-style selector calculation

  vita-dounai

  committed
  07d85a3

Commits on Sep 7, 2021

• support re-write selector in GM mode

  vita-dounai

  committed
  b72684e

Commits on Sep 16, 2021

• make rule that if a method invokes any interface, then it cannot be parallelized executed

  vita-dounai

  committed
  b3ccdf6

Commits on Sep 18, 2021

• remove enforce anlysis flag

  vita-dounai

  committed
  58373f0

Commits on Sep 23, 2021

• treat Iter in Vec and IterableMapping as special type during type check; convert CRLF to LF

  vita-dounai

  committed
  e990141

Commits on Sep 24, 2021

• fix bug in uninitialized state variables detecting

  vita-dounai

  committed
  6a63436

Commits on Oct 19, 2021

• fix bug in selector replacement

  vita-dounai

  committed
  78d48c2

Commits on Oct 21, 2021

• report error when can't find selector for contract method

  vita-dounai

  committed
  cb56477

Commits on Nov 9, 2021

• fix enum value error in env_info_kind

  vita-dounai

  committed
  10292c2

• fix comment error

  vita-dounai

  committed
  2736e06

Commits on Nov 10, 2021

• recongize constantant in mapping

  vita-dounai

  committed
  be8b88e

Commits on Nov 12, 2021

• make quepingkong happy

  vita-dounai

  committed
  1e89735

Commits on Nov 15, 2021

• treat emit as special method

  vita-dounai

  committed
  4d0fbe9

• add conflict analysis test

  

  kongqp

  authored and

  vita-dounai

  committed
  a7d8b86

• Merge pull request #4 from vita-dounai/workflow

  Show description for 8da851b
  vita-dounai

  authored
  8da851b

• skip analysis phase when compiling collaboration (#5)

  vita-dounai

  authored
  9d43180

Commits on Nov 22, 2021

• adapt to collaboration (#7)

  vita-dounai

  authored
  78aeb4e

• add error prompts and comments for verify conflict (#6)

  Show description for 5af393d
  

  kongqp

  and

  vita-dounai

  authored
  5af393d

Commits on Nov 23, 2021

• force LTO to false (#8)

  vita-dounai

  authored
  597b6e1

Commits on Dec 7, 2021

• add rename order (#3)

  Show description for 6280ec0
  

  3 peopleauthored
  6280ec0