https://github.com/lowrisc/manticore
https://github.com/lowrisc/manticore
Last synced: 8 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/lowrisc/manticore
- Owner: lowRISC
- License: apache-2.0
- Created: 2020-06-04T10:58:10.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2022-04-14T18:52:47.000Z (almost 4 years ago)
- Last Synced: 2025-06-25T04:07:36.131Z (8 months ago)
- Language: Rust
- Size: 1.3 MB
- Stars: 17
- Watchers: 29
- Forks: 12
- Open Issues: 17
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: .github/CODEOWNERS
Awesome Lists containing this project
README
# Manticore
## About the project
Manticore is a work-in-progress implementation of the Open Compute Project's
[Cerberus] attestation protocol, developed as part of the [OpenTitan project].
Manticore aims to eventually achieve parity with Microsoft's C implementation,
while also being a proving ground for improvements and enhancements of the
protocol.
[Cerberus]: https://github.com/opencomputeproject/Security/blob/master/RoT/Protocol
[OpenTitan project]: https://opentitan.org
## Building Manticore
Manticore is a Rust project using Cargo. The main library can be built using
`cargo build`. Manticore also has a number of tests:
- Unit tests for the library itself: these are run with `cargo test`.
- Integration host-side tests: these are run with `./e2e/run.sh`. See the `e2e`
directory for more information.
- Fuzz tests: these are located in the `fuzz` directory. Fuzzing requires
a nightly Rust install.
In order to build the Manticore command line tool, run
`cargo build -p manticore-tool`.
## How to contribute
Have a look at [CONTRIBUTING](./CONTRIBUTING.md) for guidelines on how to
contribute code to this repository.
All patches to Manticore are expected to include unit tests and, if they
introduce parsing code, fuzz tests as well. All code must be formatted with
`cargo fmt`, pass `cargo clippy`, and pass all tests; CI will automatically
check for this.
As aforementioned, `unsafe` is banned in Manticore source code,
except in some files by a case-by-case basis (such as for low-level memory
management).
## Licensing
Unless otherwise noted, everything in this repository is covered by the Apache
License, Version 2.0 (see [LICENSE](./LICENSE) for full text). All code files
must have the appropriate license header, which is checked automatically by CI.