├── .github └── workflows │ ├── lint.yml │ └── test.yml ├── .gitignore ├── .gitmodules ├── Cargo.lock ├── Cargo.toml ├── Containerfile ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── checkct_macros ├── Cargo.toml ├── examples │ └── attribute.rs └── src │ └── lib.rs ├── examples ├── chachapoly │ ├── Cargo.toml │ ├── checkct │ │ ├── .cargo │ │ │ └── config.toml │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── driver │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ ├── driver.rs │ │ │ │ ├── main.rs │ │ │ │ └── rng.rs │ │ └── rust-toolchain.toml │ └── src │ │ └── lib.rs ├── dalek │ ├── Cargo.toml │ ├── checkct │ │ ├── .cargo │ │ │ └── config.toml │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── driver │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ ├── driver.rs │ │ │ │ ├── main.rs │ │ │ │ └── rng.rs │ │ └── rust-toolchain.toml │ └── src │ │ └── lib.rs ├── masked_aes │ ├── .cargo │ │ └── config.toml │ ├── Cargo.toml │ ├── build.rs │ ├── checkct │ │ ├── .cargo │ │ │ └── config.toml │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── driver │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ ├── driver.rs │ │ │ │ ├── main.rs │ │ │ │ └── rng.rs │ │ └── rust-toolchain.toml │ └── src │ │ └── lib.rs ├── memcmp │ └── checkct │ │ ├── .cargo │ │ └── config.toml │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── driver │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── main.rs │ │ │ └── rng.rs │ │ └── rust-toolchain.toml └── secp256K1 │ ├── Cargo.toml │ ├── checkct │ ├── .cargo │ │ └── config.toml │ ├── Cargo.lock │ ├── Cargo.toml │ ├── driver │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── driver.rs │ │ │ ├── main.rs │ │ │ └── rng.rs │ └── rust-toolchain.toml │ └── src │ └── lib.rs ├── src ├── add.rs ├── common.rs ├── init.rs ├── main.rs └── run.rs ├── template ├── .cargo │ └── config.toml ├── Cargo.toml ├── driver │ ├── Cargo.toml │ └── src │ │ ├── driver.rs │ │ ├── main.rs │ │ └── rng.rs ├── rust-toolchain.toml └── target │ └── driver.binsec └── tests ├── subtle_eq.rs ├── subtle_eq ├── Cargo.toml ├── checkct │ ├── .cargo │ │ └── config.toml │ ├── Cargo.lock │ ├── Cargo.toml │ ├── driver │ │ ├── .cargo │ │ │ └── config.toml │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── driver.rs │ │ │ ├── main.rs │ │ │ └── rng.rs │ └── rust-toolchain.toml └── src │ └── lib.rs ├── vulnerable_eq.rs └── vulnerable_eq ├── Cargo.toml ├── checkct ├── .cargo │ └── config.toml ├── Cargo.lock ├── Cargo.toml ├── driver │ ├── Cargo.toml │ └── src │ │ ├── driver.rs │ │ ├── main.rs │ │ └── rng.rs └── rust-toolchain.toml └── src └── lib.rs /.github/workflows/lint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/.github/workflows/lint.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Containerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/Containerfile -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/README.md -------------------------------------------------------------------------------- /checkct_macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/checkct_macros/Cargo.toml -------------------------------------------------------------------------------- /checkct_macros/examples/attribute.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/checkct_macros/examples/attribute.rs -------------------------------------------------------------------------------- /checkct_macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/checkct_macros/src/lib.rs -------------------------------------------------------------------------------- /examples/chachapoly/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/Cargo.toml -------------------------------------------------------------------------------- /examples/chachapoly/checkct/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/checkct/.cargo/config.toml -------------------------------------------------------------------------------- /examples/chachapoly/checkct/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/checkct/Cargo.lock -------------------------------------------------------------------------------- /examples/chachapoly/checkct/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/checkct/Cargo.toml -------------------------------------------------------------------------------- /examples/chachapoly/checkct/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/checkct/driver/Cargo.toml -------------------------------------------------------------------------------- /examples/chachapoly/checkct/driver/src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/checkct/driver/src/driver.rs -------------------------------------------------------------------------------- /examples/chachapoly/checkct/driver/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/checkct/driver/src/main.rs -------------------------------------------------------------------------------- /examples/chachapoly/checkct/driver/src/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/checkct/driver/src/rng.rs -------------------------------------------------------------------------------- /examples/chachapoly/checkct/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/chachapoly/checkct/rust-toolchain.toml -------------------------------------------------------------------------------- /examples/chachapoly/src/lib.rs: -------------------------------------------------------------------------------- 1 | #![no_std] 2 | 3 | pub use chacha20poly1305::*; 4 | -------------------------------------------------------------------------------- /examples/dalek/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/Cargo.toml -------------------------------------------------------------------------------- /examples/dalek/checkct/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/checkct/.cargo/config.toml -------------------------------------------------------------------------------- /examples/dalek/checkct/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/checkct/Cargo.lock -------------------------------------------------------------------------------- /examples/dalek/checkct/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/checkct/Cargo.toml -------------------------------------------------------------------------------- /examples/dalek/checkct/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/checkct/driver/Cargo.toml -------------------------------------------------------------------------------- /examples/dalek/checkct/driver/src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/checkct/driver/src/driver.rs -------------------------------------------------------------------------------- /examples/dalek/checkct/driver/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/checkct/driver/src/main.rs -------------------------------------------------------------------------------- /examples/dalek/checkct/driver/src/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/checkct/driver/src/rng.rs -------------------------------------------------------------------------------- /examples/dalek/checkct/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/dalek/checkct/rust-toolchain.toml -------------------------------------------------------------------------------- /examples/dalek/src/lib.rs: -------------------------------------------------------------------------------- 1 | #![no_std] 2 | 3 | pub use x25519_dalek::*; 4 | -------------------------------------------------------------------------------- /examples/masked_aes/.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [build] 2 | target = ["thumbv7em-none-eabihf"] -------------------------------------------------------------------------------- /examples/masked_aes/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/Cargo.toml -------------------------------------------------------------------------------- /examples/masked_aes/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/build.rs -------------------------------------------------------------------------------- /examples/masked_aes/checkct/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/checkct/.cargo/config.toml -------------------------------------------------------------------------------- /examples/masked_aes/checkct/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/checkct/Cargo.lock -------------------------------------------------------------------------------- /examples/masked_aes/checkct/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/checkct/Cargo.toml -------------------------------------------------------------------------------- /examples/masked_aes/checkct/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/checkct/driver/Cargo.toml -------------------------------------------------------------------------------- /examples/masked_aes/checkct/driver/src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/checkct/driver/src/driver.rs -------------------------------------------------------------------------------- /examples/masked_aes/checkct/driver/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/checkct/driver/src/main.rs -------------------------------------------------------------------------------- /examples/masked_aes/checkct/driver/src/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/checkct/driver/src/rng.rs -------------------------------------------------------------------------------- /examples/masked_aes/checkct/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/checkct/rust-toolchain.toml -------------------------------------------------------------------------------- /examples/masked_aes/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/masked_aes/src/lib.rs -------------------------------------------------------------------------------- /examples/memcmp/checkct/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/memcmp/checkct/.cargo/config.toml -------------------------------------------------------------------------------- /examples/memcmp/checkct/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/memcmp/checkct/Cargo.lock -------------------------------------------------------------------------------- /examples/memcmp/checkct/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/memcmp/checkct/Cargo.toml -------------------------------------------------------------------------------- /examples/memcmp/checkct/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/memcmp/checkct/driver/Cargo.toml -------------------------------------------------------------------------------- /examples/memcmp/checkct/driver/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/memcmp/checkct/driver/src/main.rs -------------------------------------------------------------------------------- /examples/memcmp/checkct/driver/src/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/memcmp/checkct/driver/src/rng.rs -------------------------------------------------------------------------------- /examples/memcmp/checkct/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/memcmp/checkct/rust-toolchain.toml -------------------------------------------------------------------------------- /examples/secp256K1/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/Cargo.toml -------------------------------------------------------------------------------- /examples/secp256K1/checkct/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/checkct/.cargo/config.toml -------------------------------------------------------------------------------- /examples/secp256K1/checkct/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/checkct/Cargo.lock -------------------------------------------------------------------------------- /examples/secp256K1/checkct/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/checkct/Cargo.toml -------------------------------------------------------------------------------- /examples/secp256K1/checkct/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/checkct/driver/Cargo.toml -------------------------------------------------------------------------------- /examples/secp256K1/checkct/driver/src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/checkct/driver/src/driver.rs -------------------------------------------------------------------------------- /examples/secp256K1/checkct/driver/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/checkct/driver/src/main.rs -------------------------------------------------------------------------------- /examples/secp256K1/checkct/driver/src/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/checkct/driver/src/rng.rs -------------------------------------------------------------------------------- /examples/secp256K1/checkct/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/checkct/rust-toolchain.toml -------------------------------------------------------------------------------- /examples/secp256K1/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/examples/secp256K1/src/lib.rs -------------------------------------------------------------------------------- /src/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/src/add.rs -------------------------------------------------------------------------------- /src/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/src/common.rs -------------------------------------------------------------------------------- /src/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/src/init.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/src/run.rs -------------------------------------------------------------------------------- /template/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/template/.cargo/config.toml -------------------------------------------------------------------------------- /template/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/template/Cargo.toml -------------------------------------------------------------------------------- /template/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/template/driver/Cargo.toml -------------------------------------------------------------------------------- /template/driver/src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/template/driver/src/driver.rs -------------------------------------------------------------------------------- /template/driver/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/template/driver/src/main.rs -------------------------------------------------------------------------------- /template/driver/src/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/template/driver/src/rng.rs -------------------------------------------------------------------------------- /template/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/template/rust-toolchain.toml -------------------------------------------------------------------------------- /template/target/driver.binsec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/template/target/driver.binsec -------------------------------------------------------------------------------- /tests/subtle_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq.rs -------------------------------------------------------------------------------- /tests/subtle_eq/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/Cargo.toml -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/.cargo/config.toml -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/Cargo.lock -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/Cargo.toml -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/driver/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/driver/.cargo/config.toml -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/driver/Cargo.toml -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/driver/src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/driver/src/driver.rs -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/driver/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/driver/src/main.rs -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/driver/src/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/driver/src/rng.rs -------------------------------------------------------------------------------- /tests/subtle_eq/checkct/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/subtle_eq/checkct/rust-toolchain.toml -------------------------------------------------------------------------------- /tests/subtle_eq/src/lib.rs: -------------------------------------------------------------------------------- 1 | #![no_std] 2 | 3 | pub use subtle::*; 4 | -------------------------------------------------------------------------------- /tests/vulnerable_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq.rs -------------------------------------------------------------------------------- /tests/vulnerable_eq/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/Cargo.toml -------------------------------------------------------------------------------- /tests/vulnerable_eq/checkct/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/checkct/.cargo/config.toml -------------------------------------------------------------------------------- /tests/vulnerable_eq/checkct/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/checkct/Cargo.lock -------------------------------------------------------------------------------- /tests/vulnerable_eq/checkct/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/checkct/Cargo.toml -------------------------------------------------------------------------------- /tests/vulnerable_eq/checkct/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/checkct/driver/Cargo.toml -------------------------------------------------------------------------------- /tests/vulnerable_eq/checkct/driver/src/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/checkct/driver/src/driver.rs -------------------------------------------------------------------------------- /tests/vulnerable_eq/checkct/driver/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/checkct/driver/src/main.rs -------------------------------------------------------------------------------- /tests/vulnerable_eq/checkct/driver/src/rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/checkct/driver/src/rng.rs -------------------------------------------------------------------------------- /tests/vulnerable_eq/checkct/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/checkct/rust-toolchain.toml -------------------------------------------------------------------------------- /tests/vulnerable_eq/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ledger-Donjon/cargo-checkct/HEAD/tests/vulnerable_eq/src/lib.rs --------------------------------------------------------------------------------