APISet

A APISet integrates classic set operations with advanced features. It allows functions to be applied to all elements, enables set refinement using the filter() function, and includes a fallback mechanism to ensure default behavior when no transformations or filtering are applied.

APISet Functionality

A APISet supports all classic set operations, such as union (|), intersection (&), difference (-), and symmetric difference (^). Additionally, it supports membership tests and other set-based operations. Functions called on the set are applied to every element, resulting in a new APISet with the processed data.

The filter() Function

The filter() function uses a predicate to evaluate each element of the APISet. Elements where the predicate returns true are retained, while others are excluded, allowing precise control over the final set content.

Flattening

When a function returns another APISet, the results are flattened into a single, unified APISet. This ensures a consistent set structure, simplifying further processing and analysis

Functions that return APISet

• instructions.callabes_recursive()

• instructions.modifiers_recursive()

• instruction.backward_df()

• instruction.forward_df()

• instruction.next_instructions_recursive()

• instruction.previous_instructions_recursive()

• instruction.next_instructions()

• instruction.previous_instruction()

• instruction.previous_instructions()

• callable.get_reachable_instructions()

• point.backward_df()

• point.backward_df_recursive()

• point.forward_df()

• point.forward_df_recursive()

• point.get_all_tainted_paths_affecting_point()

• point.get_tainted_sources_affecting_point()

• value.backward_df()

• value.backward_df_recursive()

• value.forward_df()

• value.forward_df_recursive()

• callnode.callees_recursive()

• callnode.callers_recursive()

• callable.get_reachable_instructions()

• callable.instructions_recursive()