Skip to content

Commit

Permalink
[FBI] Add debug symbols for easier debugging
Browse files Browse the repository at this point in the history
  • Loading branch information
AndrewQuijano committed Aug 20, 2024
1 parent 37ba015 commit 54ac698
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion tools/fbi/src/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ add_executable(fbi find_bug_inj.cpp)
set_property(TARGET fbi PROPERTY CXX_STANDARD 17)

#if (${DEBUG})
# target_compile_options(fbi PRIVATE -fno-omit-frame-pointer -g -O0)
target_compile_options(fbi PRIVATE -fno-omit-frame-pointer -g -O0)
#else()
# target_compile_options(fbi PRIVATE -flto -O3)
# set_target_properties(fbi PROPERTIES LINK_FLAGS "-flto -fuse-ld=gold")
Expand Down
12 changes: 6 additions & 6 deletions tools/fbi/src/find_bug_inj.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -246,13 +246,13 @@ void update_unique_taint_sets(Json::Value& tquls) {
int max_index = tquls["label"].size() - 1;
if (it == ptr_to_labelset.end() || p < it->first) {

std::vector<uint32_t> vec;
// Populate contents of vector with that of "label"
for (Json::Value& element : tquls["label"]) {
vec.push_back(std::strtoul(element.asString().c_str(), 0, 0));
}
std::vector<uint32_t> vec;
// Populate contents of vector with that of "label"
for (Json::Value& element : tquls["label"]) {
vec.push_back(std::strtoul(element.asString().c_str(), 0, 0));
}

const LabelSet *ls = create(LabelSet{0, p, inputfile, vec});
const LabelSet *ls = create(LabelSet{0, p, inputfile, vec});
ptr_to_labelset.insert(it, std::make_pair(p, ls));

auto &labels = ls->labels;
Expand Down

0 comments on commit 54ac698

Please sign in to comment.