Skip to content

Add a flag to search for additional semantics paths #450

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
pgoodman merged 1 commit into from
Oct 6, 2020
Merged

Add a flag to search for additional semantics paths #450

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 15 additions & 2 deletions remill/BC/Util.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -59,6 +59,8 @@

DECLARE_string(arch);

DEFINE_string(semantics_search_paths, "", "Colon-separated list of search paths to use when searching for semantics files.");

namespace {
#ifdef WIN32
extern "C" std::uint32_t GetProcessId(std::uint32_t handle);
Expand Down Expand Up @@ -484,11 +486,22 @@ std::string FindHostSemanticsBitcodeFile(void) {

// Find the path to the semantics bitcode file.
std::string FindSemanticsBitcodeFile(const std::string &arch) {
if (!FLAGS_semantics_search_paths.empty()) {
std::stringstream pp;
pp << FLAGS_semantics_search_paths;
for (std::string sem_dir; std::getline(pp, sem_dir, ':'); ) {
std::stringstream ss;
ss << sem_dir << "/" << arch << ".bc";
if (auto sem_path = ss.str(); FileExists(sem_path)) {
return sem_path;
}
}
}

for (auto sem_dir : gSemanticsSearchPaths) {
std::stringstream ss;
ss << sem_dir << "/" << arch << ".bc";
auto sem_path = ss.str();
if (FileExists(sem_path)) {
if (auto sem_path = ss.str(); FileExists(sem_path)) {
return sem_path;
}
}
Expand Down