SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix concolic nofloat filter (#333)

Browse Source 
* fix concolic nofloat filter

* fmt

* whoops

* fix warnings
This commit is contained in:
julihoh 2021-10-25 13:57:49 +02:00 committed by GitHub
parent 3f1130a8a4
commit 52580c6c14
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
libafl_concolic/symcc_runtime/src/filter.rs
View File

@ -222,4 +222,22 @@ impl Filter for NoFloat {
fn build_bits_to_float(&mut self, _expr: RSymExpr, _to_double: bool) -> bool {
false
}
fn build_fp_abs(&mut self, _a: RSymExpr) -> bool {
false
}
fn build_fp_add(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
false
}
fn build_fp_sub(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
false
}
fn build_fp_mul(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
false
}
fn build_fp_div(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
false
}
fn build_fp_rem(&mut self, _a: RSymExpr, _b: RSymExpr) -> bool {
false
}
}