Skip to content

Commit 4177a7f

Browse files
Update include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCaller.h
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
1 parent 7be5b61 commit 4177a7f

1 file changed

Lines changed: 1 addition & 2 deletions

File tree

include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IFDSFieldSensTaintAnalysis/FlowFunctions/MapTaintedValuesToCaller.h

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,8 +20,7 @@ class MapTaintedValuesToCaller : public FlowFunction<ExtendedValue> {
2020
MapTaintedValuesToCaller(const llvm::CallInst *CallInst,
2121
const llvm::ReturnInst *RetInst,
2222
TraceStats &TraceStats, const ExtendedValue &ZV)
23-
: CallInst(CallInst), RetInst(RetInst), TraceStats(TraceStats),
24-
ZV(ZV) {}
23+
: CallInst(CallInst), RetInst(RetInst), TraceStats(TraceStats), ZV(ZV) {}
2524
~MapTaintedValuesToCaller() override = default;
2625

2726
std::set<ExtendedValue> computeTargets(ExtendedValue Fact) override;

0 commit comments

Comments
 (0)