https://github.com/skius/elina-rs
Rust bindings for the ELINA library
https://github.com/skius/elina-rs
abstract-interpretation hacktoberfest numerical-analysis
Last synced: 11 months ago
JSON representation
Rust bindings for the ELINA library
- Host: GitHub
- URL: https://github.com/skius/elina-rs
- Owner: skius
- License: apache-2.0
- Created: 2021-10-15T13:00:06.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2021-11-13T14:19:30.000Z (over 4 years ago)
- Last Synced: 2025-05-12T20:17:14.966Z (about 1 year ago)
- Topics: abstract-interpretation, hacktoberfest, numerical-analysis
- Language: Rust
- Homepage: https://docs.rs/elina
- Size: 303 KB
- Stars: 4
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
README
# elina-rs
[](https://crates.io/crates/elina)
This library provides a safe Rust abstraction over the ELINA C library. To learn more about
ELINA, see their [GitHub](https://github.com/eth-sri/ELINA/) and [website](http://elina.ethz.ch/).
## Installation
You need ELINA installed to link this crate. Currently, you also need the ELINA header files
installed to build this crate, but this may change in the future.
See [ELINA's website](http://elina.ethz.ch/) for instructions on how to install ELINA.
After you've installed ELINA, you can add this crate as a dependency in your `Cargo.toml`:
```toml
[dependencies]
elina = "0.3.1"
```
## Usage
Please read the [API documentation](https://docs.rs/elina).
See [`examples/showcase.rs`](examples/showcase.rs) for an example.
You can run the example with `cargo run --example showcase`
### Projects
The following projects use `elina-rs` (feel free to open a PR with your own!):
- [skius/progge.rs](https://github.com/skius/progge.rs) - Program analysis playground for a simple, imperative language
## License
Licensed under either of
* Apache License, Version 2.0
([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
* MIT license
([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)
at your option.
## Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted
for inclusion in the work by you, as defined in the Apache-2.0 license, shall be
dual licensed as above, without any additional terms or conditions.