Giter VIP home page Giter VIP logo

fest1ck / move-symbolic-execution Goto Github PK

View Code? Open in Web Editor NEW
0.0 0.0 0.0 103.39 MB

Symbolic executor for the Move programming language.

License: Apache License 2.0

Shell 0.47% Rust 94.22% JavaScript 1.88% CSS 0.47% HTML 0.01% Dockerfile 0.08% Smarty 0.01% Mustache 0.03% TypeScript 0.28% Boogie 0.19% TeX 1.07% Jupyter Notebook 0.01% SMT 1.14% C++ 0.01% C# 0.02% Go 0.01% Java 0.02% Python 0.09% Makefile 0.01% Swift 0.01%

move-symbolic-execution's People

Contributors

ankushagarwal avatar bmwill avatar bothra90 avatar davidiw avatar dependabot-preview[bot] avatar dependabot[bot] avatar dimroc avatar emmazzz avatar gregnazario avatar huitseeker avatar joshlind avatar junkil-park avatar lightmark avatar ma2bd avatar meng-xu-cs avatar metajack avatar mimoo avatar msmouse avatar phlip9 avatar rexhoffman avatar runtian-zhou avatar rustielin avatar sausagee avatar sblackshear avatar sunshowers avatar vgao1996 avatar wrwg avatar xli avatar zekun000 avatar zihaoccc avatar

Watchers

 avatar  avatar

move-symbolic-execution's Issues

RUSTSEC in dependencies in branch main

Found RUSTSEC in dependencies in job https://github.com/fEst1ck/move-symbolic-execution/actions/runs/2366740992

    Fetching advisory database from `https://github.com/RustSec/advisory-db.git`
      Loaded 415 security advisories (from /opt/cargo/advisory-db)
    Updating crates.io index
    Scanning Cargo.lock for vulnerabilities (748 crate dependencies)
Crate:         nix
Version:       0.20.0
Title:         Out-of-bounds write in nix::unistd::getgrouplist
Date:          2021-09-27
ID:            RUSTSEC-2021-0119
URL:           https://rustsec.org/advisories/RUSTSEC-2021-0119
Solution:      Upgrade to ^0.20.2 OR ^0.21.2 OR ^0.22.2 OR >=0.23.0
Dependency tree: 
nix 0.20.0
├── rustyline 8.0.0
│   ├── move-oncall-trainer 0.1.0
│   └── cli 0.1.0
│       └── move-oncall-trainer 0.1.0
├── move-oncall-trainer 0.1.0
├── ctrlc 3.1.8
│   └── diem-swarm 0.1.0
│       ├── smoke-test 0.1.0
│       │   └── shuffle-integration-tests 0.0.0
│       └── cluster-test 0.1.0
└── atomicwrites 0.3.0
    └── hakari 0.4.1
        ├── x-lint 0.1.0
        │   └── x 0.1.0
        ├── x-core 0.1.0
        │   ├── x-lint 0.1.0
        │   └── x 0.1.0
        └── x 0.1.0

Crate:         regex
Version:       1.4.3
Title:         Regexes with large repetitions on empty sub-expressions take a very long time to parse
Date:          2022-03-08
ID:            RUSTSEC-2022-0013
URL:           https://rustsec.org/advisories/RUSTSEC-2022-0013
Solution:      Upgrade to >=1.5.5
Dependency tree: 
regex 1.4.3
├── x 0.1.0
├── transaction-builder-generator 0.1.0
│   ├── shuffle 0.1.0
│   │   └── shuffle-integration-tests 0.0.0
│   └── diem-framework 0.1.0
│       ├── vm-genesis 0.1.0
│       │   ├── vm-validator 0.1.0
│       │   │   ├── diem-mempool 0.1.0
│       │   │   │   ├── state-sync-v1 0.1.0
│       │   │   │   │   ├── state-sync-multiplexer 0.1.0
│       │   │   │   │   │   └── diem-node 0.1.0
│       │   │   │   │   │       ├── shuffle 0.1.0
│       │   │   │   │   │       ├── move-oncall-trainer 0.1.0
│       │   │   │   │   │       └── cluster-test 0.1.0
│       │   │   │   │   ├── diem-fuzzer 0.1.0
│       │   │   │   │   │   └── diem-fuzz 0.1.0
│       │   │   │   │   └── cluster-test 0.1.0
│       │   │   │   ├── diem-node 0.1.0
│       │   │   │   ├── diem-key-manager 0.1.0
│       │   │   │   │   └── smoke-test 0.1.0
│       │   │   │   │       └── shuffle-integration-tests 0.0.0
│       │   │   │   ├── diem-json-rpc 0.1.0
│       │   │   │   │   ├── smoke-test 0.1.0
│       │   │   │   │   ├── diem-node 0.1.0
│       │   │   │   │   ├── diem-key-manager 0.1.0
│       │   │   │   │   ├── diem-fuzzer 0.1.0
│       │   │   │   │   └── diem-api 0.1.0
│       │   │   │   │       └── diem-node 0.1.0
│       │   │   │   ├── diem-fuzzer 0.1.0
│       │   │   │   ├── diem-api 0.1.0
│       │   │   │   ├── consensus 0.1.0
│       │   │   │   │   ├── generate-format 0.1.0
│       │   │   │   │   ├── diem-node 0.1.0
│       │   │   │   │   └── diem-fuzzer 0.1.0
│       │   │   │   └── cluster-test 0.1.0
│       │   │   ├── diem-key-manager 0.1.0
│       │   │   ├── diem-json-rpc 0.1.0
│       │   │   ├── diem-api 0.1.0
│       │   │   └── consensus 0.1.0
│       │   ├── state-sync-v1 0.1.0
│       │   ├── language-e2e-tests 0.1.0
│       │   │   ├── language-e2e-testsuite 0.1.0
│       │   │   ├── functional-tests 0.1.0
│       │   │   │   ├── move-lang-functional-tests 0.1.0
│       │   │   │   └── ir-testsuite 0.1.0
│       │   │   ├── diem-transactional-test-harness 0.1.0
│       │   │   ├── diem-transaction-benchmarks 0.1.0
│       │   │   ├── diem-fuzzer 0.1.0
│       │   │   ├── diem-e2e-tests-replay 0.1.0
│       │   │   └── cluster-test 0.1.0
│       │   ├── genesis-viewer 0.1.0
│       │   ├── functional-tests 0.1.0
│       │   ├── executor-test-helpers 0.1.0
│       │   │   ├── vm-validator 0.1.0
│       │   │   ├── state-sync-v1 0.1.0
│       │   │   ├── state-sync-multiplexer 0.1.0
│       │   │   ├── executor 0.1.0
│       │   │   │   ├── vm-validator 0.1.0
│       │   │   │   ├── state-sync-v1 0.1.0

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.