Abstract: Techniques for building and transforming SDL representations of source code are disclosed, including: receiving, by an application programming interface (API), an API call including a symbolic description language (SDL) representation of a set of source code; determining, by the API based at least on the first API call, one or more transformations to perform on the SDL representation of the set of source code; generating, by the API, a transformed SDL representation at least by performing the one or more transformations on the SDL representation of the set of source code; supplying, by the API responsive to the first API call, the transformed SDL representation.

Abstract: Techniques for lowering Java try statements in a symbolic description language are disclosed, including: obtaining a set of Java source code; determining that the set of Java source code includes a try statement; and generating, based on the set of Java source code, a symbolic description language (SDL) model including a lowered SDL representation of the try statement. The lowered SDL representation of the try statement includes: a body including a set of basic SDL blocks; an exception region including (a) a subgraph of the set of basic SDL blocks and (b) an operation covered by the exception region; and a catch entry block, in the set of basic SDL blocks, that is declared as a successor block for when the operation covered by the exception region throws an exception.

Abstract: Techniques for managing lifecycles of sets of foreign resources are disclosed, including: opening, in a runtime environment configured to use a garbage collector to manage memory in a heap, a memory session; allocating a first subset of a set of foreign memory to a memory segment associated with the memory session, the foreign memory including off-heap memory that is not managed by the garbage collector; encountering, in the runtime environment, an instruction to close the memory session; responsive to encountering the instruction to close the memory session, deallocating the subset of the set of foreign memory.

Abstract: Techniques for managing temporal dependencies between sets of foreign resources are disclosed, including: allocating, in a runtime environment, a segment of foreign memory to a first memory session, the runtime environment being configured to use a garbage collector to manage memory in a heap, and the foreign memory including off-heap memory that is not managed by the garbage collector; opening, in the runtime environment, a second memory session that descends from the first memory session; while the second memory session is open, encountering a request to close the first memory session; responsive to encountering the request to close the first memory session, determining that the first memory session has at least one open descendant memory session; responsive to determining that the first memory session has at least one open descendant memory session, declining the request to close the first memory session.

Abstract: Techniques for managing lifecycles of sets of foreign resources are disclosed, including: opening, in a runtime environment configured to use a garbage collector to manage memory in a heap, a memory session; allocating a first subset of a set of foreign memory to a memory segment associated with the memory session, the foreign memory including off-heap memory that is not managed by the garbage collector; encountering, in the runtime environment, an instruction to close the memory session; responsive to encountering the instruction to close the memory session, deallocating the subset of the set of foreign memory.