Home
last modified time | relevance | path

Searched refs:verifier (Results 1 – 3 of 3) sorted by relevance

/DragonOS/kernel/crates/rbpf/src/
H A Dlib.rs51 mod verifier; module
118 verifier: Verifier, field
144 verifier::check(prog)?; in new()
149 verifier: verifier::check, in new()
178 (self.verifier)(prog)?; in set_program()
213 pub fn set_verifier(&mut self, verifier: Verifier) -> Result<(), Error> { in set_verifier()
215 verifier(prog)?; in set_verifier()
217 self.verifier = verifier; in set_verifier()
712 pub fn set_verifier(&mut self, verifier: Verifier) -> Result<(), Error> { in set_verifier()
713 self.parent.set_verifier(verifier) in set_verifier()
[all …]
/DragonOS/kernel/src/bpf/prog/
H A Dmod.rs2 mod verifier; module
7 use crate::bpf::prog::verifier::BpfProgVerifier;
/DragonOS/kernel/crates/rbpf/
H A DREADME.md162 checked with a very simple verifier (nothing close to the one for Linux
163 kernel). Users are also able to replace it with a custom verifier.
184 verifier attached to the VM. The verifying function of the VM can be changed at
191 verifier: Verifier) -> Result<(), Error>
195 verifier also immediately runs it on the loaded program. However, the verifier
657 The ”verifier” of this crate is very short and has nothing to do with the
658 kernel verifier, which means that it accepts programs that may not be safe. On
660 crash your system. Implementing a verifier similar to the one in the kernel is
696 * Improve verifier. Could we find a way to directly support programs compiled