in sapp/pipeline/mariana_trench_parser.py [0:0]
def to_sapp(self, parser: "Parser") -> sapp.ParseIssueTuple:
return sapp.ParseIssueTuple(
code=self.code,
message=self.message,
callable=self.callable.name,
handle=parser.compute_master_handle(
callable=self.callable.name,
line=self.issue_position.line - self.callable_position.line,
start=self.issue_position.start,
end=self.issue_position.end,
code=self.code,
),
filename=self.callable_position.path,
callable_line=self.callable_position.line,
line=self.issue_position.line,
start=self.issue_position.start,
end=self.issue_position.end,
preconditions=[
precondition.to_sapp() for precondition in self.preconditions
],
postconditions=[
postcondition.to_sapp() for postcondition in self.postconditions
],
initial_sources={leaf.to_sapp() for leaf in self.initial_sources},
final_sinks={leaf.to_sapp() for leaf in self.final_sinks},
features=self.features.to_sapp(),
fix_info=None,
)