angr.procedures

Submodules

advapi32

cgc

These procedures implement system calls for the cgc DECREE platform

definitions

glibc

These procedures implement internal functions for the GNU libc that commonly appears on linux systems

gnulib

These procedures implement functions described in the gnulib library: https://www.gnu.org/software/gnulib/

java

java_io

java_jni

java_lang

java_util

libc

These procedures implement functions described in the C standard library specification

libstdcpp

linux_kernel

These procedures implement linux system calls or other misc functionality provided by the linux kernel

linux_loader

These function implement functions or other functionalities provided by the linux userspace dynamic loader

msvcr

These functions implement those found in the various versions of msvcr.dll (Microsoft Visual C/C++ Runtime)

ntdll

posix

These procedures implement functions described in POSIX.1

procedure_dict

stubs

These procedures are various misc stubs useful in analysis

testing

These procedures are used in the angr test suite.

tracer

These procedures implement system calls for the cgc DECREE platform, in a specific way for tracing.

uclibc

These procedures implement internal functions in the uClibc libc implementation

win32

These procedures implement functions from the win32 api, notably kernel32.dll

win32_kernel

These procedures implement functions from the Windows kernel.

win_user32