Package pascal.taie.language.natives

package pascal.taie.language.natives

Provide model for native methods.

See Also:

• NativeModel
• DefaultNativeModel

Class	Description
DefaultNativeModel
EmptyNativeModel	Builds empty IR for every native method.
NativeModel