Skip to content

Commit f33dcda

Browse files
committed
Silencing cpplinter.
1 parent 5dced39 commit f33dcda

File tree

2 files changed

+8
-9
lines changed

2 files changed

+8
-9
lines changed

src/taint-analysis/taint_security_scanner.cpp

+5-6
Original file line numberDiff line numberDiff line change
@@ -190,12 +190,11 @@ bool taint_do_security_scan(
190190
const boost::filesystem::path results_dir =
191191
config.get_slicer_root_directory();
192192

193-
const auto ignore = std::system((
194-
std::string("dot -Tsvg \"") +
195-
(results_dir / "propagation_chains.dot").native() +
196-
"\" -o \"" +
197-
(results_dir / "propagation_chains.svg").native() +
198-
"\"").c_str());
193+
const auto ignore = std::system(
194+
(std::string("dot -Tsvg \"") +
195+
(results_dir / "propagation_chains.dot").native() + "\" -o \"" +
196+
(results_dir / "propagation_chains.svg").native() + "\"")
197+
.c_str());
199198
(void)ignore; // We do not care about the return value, because
200199
// if the call fails, then the link to the SVG
201200
// image in the debug HTML output won't work.

src/taint-slicer/propagation_chains.cpp

+3-3
Original file line numberDiff line numberDiff line change
@@ -504,10 +504,10 @@ void to_dot(
504504
const taint_propagation_chainst &chains,
505505
const std::string &dot_file_pathname)
506506
{
507-
std::fstream ostr(dot_file_pathname, std::ios_base::out);
508-
if (!ostr.is_open())
507+
std::fstream ostr(dot_file_pathname, std::ios_base::out);
508+
if(!ostr.is_open())
509509
return;
510-
to_dot(chains,ostr);
510+
to_dot(chains, ostr);
511511
}
512512

513513
std::ostream &operator<<(std::ostream &ostr, const argidx_and_tokennamet &atp)

0 commit comments

Comments
 (0)