in client/commands/profile.py [0:0]
def to_taint(events: Sequence[Event]) -> Dict[str, int]:
result: Dict[str, int] = {}
for event in events:
if not isinstance(event, DurationEvent):
continue
event.add_phase_duration_to_result(result)
fixpoint_events = [
event
for event in events
if isinstance(event, DurationEvent)
and event.metadata.tags.get(PHASE_NAME) == "Static analysis fixpoint"
]
if len(fixpoint_events) == 0:
return result
for name, value in fixpoint_events[-1].metadata.tags.items():
if name == PHASE_NAME:
continue
result[name.capitalize()] = int(value)
return result