Float Point Support

compiler/ko_clang.c

@@ -259,9 +259,11 @@ static void add_taint_pass() {
         alloc_printf("-taint-abilist=%s/zlib_abilist.txt", obj_path);
   }
 
-  if (getenv("KO_TRACE_FP")) {
+  // Floating-point tracing is on by default (ClTraceFP defaults to true).
+  // KO_NO_TRACE_FP explicitly disables it.
+  if (getenv("KO_NO_TRACE_FP")) {
     cc_params[cc_par_cnt++] = "-mllvm";
-    cc_params[cc_par_cnt++] = "-taint-trace-float-pointer";
+    cc_params[cc_par_cnt++] = "-taint-trace-float-pointer=false";
   }
 
   if (getenv("KO_NO_TRACE_BOUND")) {

driver/CMakeLists.txt

@@ -18,6 +18,35 @@ target_link_libraries(FGTest PRIVATE
 )
 install (TARGETS FGTest DESTINATION ${SYMSAN_BIN_DIR})
 
+## standalone driver for testing the RGD (out-of-process) solver path
+add_executable(AFLTest afltest.cpp)
+set_target_properties(AFLTest PROPERTIES OUTPUT_NAME "afltest" CXX_STANDARD 17)
+target_include_directories(AFLTest PUBLIC
+    ${CMAKE_CURRENT_SOURCE_DIR}/../runtime
+)
+target_link_libraries(AFLTest PRIVATE
+  launcher
+  rgd-parser
+  rgd-solver
+  ${Z3_LIBRARY}
+  rt
+)
+install (TARGETS AFLTest DESTINATION ${SYMSAN_BIN_DIR})
+
+## standalone SMT-LIB2 front-end for the RGD jigsaw solver (bridges smtlib2 ->
+## rgd::SearchTask directly, no target execution / launcher / parser needed)
+add_executable(SMTTest smttest.cpp)
+set_target_properties(SMTTest PROPERTIES OUTPUT_NAME "smttest" CXX_STANDARD 17)
+target_include_directories(SMTTest PUBLIC
+    ${CMAKE_CURRENT_SOURCE_DIR}/../runtime
+)
+target_link_libraries(SMTTest PRIVATE
+  rgd-solver
+  ${Z3_LIBRARY}
+  rt
+)
+install (TARGETS SMTTest DESTINATION ${SYMSAN_BIN_DIR})
+
 if (DEFINED AFLPP_PATH)
     add_subdirectory(aflpp)
 endif()