Additional SymCC Build Fixes (#954)

AFLplusplus · Dec 19, 2022 · 7ed1ac9 · 7ed1ac9
1 parent e56d531
commit 7ed1ac9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/fuzzers/libfuzzer_stb_image_concolic/fuzzer/build.rs b/fuzzers/libfuzzer_stb_image_concolic/fuzzer/build.rs
@@ -39,6 +39,7 @@ fn main() {
         // Take advantage of LTO (needs lld-link set in your cargo config)
         //.flag("-flto=thin")
         .flag("-Wno-sign-compare")
+        .flag("-Wunused-but-set-variable")
         .file("./harness.c")
         .compile("harness");
 
@@ -74,6 +75,7 @@ fn main() {
 
     let output = cc::Build::new()
         .flag("-Wno-sign-compare")
+        .flag("-Wunused-but-set-variable")
         .cargo_metadata(false)
         .get_compiler()
         .to_command()

diff --git a/fuzzers/libfuzzer_stb_image_concolic/runtime/src/lib.rs b/fuzzers/libfuzzer_stb_image_concolic/runtime/src/lib.rs
@@ -3,6 +3,9 @@
 //! Additionally, it concretizes all floating point operations for simplicity.
 //! Refer to the `symcc_runtime` crate documentation for building your own runtime.
 
+// The lib needs to be named SymRuntime for SymCC to find it
+#![allow(non_snake_case)]
+
 use symcc_runtime::{
     export_runtime,
     filter::{CallStackCoverage, NoFloat},