Check if there is a BBL at the given program point.

Number of BBLs in the factory.

Find an existing BBL that contains the given program point.

Scan all directly reachable intra-procedural BBLs from the given addresses. This function does not handle indirect branches nor call instructions. It always assumes that a call instruction will never return in order to avoid parsing incorrect BBLs. Fall-through BBLs should be considered only after we know that the target function can return (after a no-return analysis), which is not the scope of BBLFactory. In the end, this function returns a list of divided edges, which are pairs of BBL addresses that have been created from a single BBL by splitting it. A BBL can be divided if there is a new control flow target within the BBL. When the `allowOverlap` argument is true, however, we do not split BBLs and allow overlapping BBLs. This is useful when we analyze EVM binaries, for instance.

Find an existing BBL that is located at the given program point. If there is no such BBL, then this function will return an error.