Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
angr documentation
angr documentation
  • Introduction
  • Getting Started
  • Core Concepts
  • Build-in Analyses
  • Advanced Topics
  • Extending angr
  • angr examples
  • Frequently Asked Questions
  • Appendix
  • API Reference
    • angr.ail_callable
    • angr.ailment
    • angr.analyses
    • angr.angrdb
    • angr.annocfg
    • angr.blade
    • angr.block
    • angr.callable
    • angr.calling_conventions
    • angr.code_location
    • angr.codenode
    • angr.concretization_strategies
    • angr.distributed
    • angr.emulator
    • angr.engines
    • angr.errors
    • angr.exploration_techniques
    • angr.factory
    • angr.flirt
    • angr.keyed_region
    • angr.knowledge_base
    • angr.knowledge_plugins
    • angr.llm_client
    • angr.llm_models
    • angr.mcp
    • angr.misc
    • angr.procedures
      • angr.procedures.advapi32
      • angr.procedures.cgc
      • angr.procedures.definitions
      • angr.procedures.glibc
      • angr.procedures.gnulib
      • angr.procedures.java
        • angr.procedures.java.unconstrained
      • angr.procedures.java_io
      • angr.procedures.java_jni
      • angr.procedures.java_lang
      • angr.procedures.java_util
      • angr.procedures.libc
      • angr.procedures.libstdcpp
      • angr.procedures.linux_kernel
      • angr.procedures.linux_loader
      • angr.procedures.msvcr
      • angr.procedures.ntdll
      • angr.procedures.posix
      • angr.procedures.procedure_dict
      • angr.procedures.stubs
      • angr.procedures.testing
      • angr.procedures.tracer
      • angr.procedures.uclibc
      • angr.procedures.win32
      • angr.procedures.win32_kernel
      • angr.procedures.win_user32
    • angr.project
    • angr.protos
    • angr.rust
    • angr.rustylib
    • angr.serializable
    • angr.sim_manager
    • angr.sim_options
    • angr.sim_procedure
    • angr.sim_state
    • angr.sim_state_options
    • angr.sim_type
    • angr.sim_variable
    • angr.simos
    • angr.slicer
    • angr.state_hierarchy
    • angr.state_plugins
    • angr.storage
    • angr.tablespecs
    • angr.utils
    • angr.vaults
Back to top
View this page

angr.procedures.java¶

class angr.procedures.java.JavaSimProcedure¶

Bases: SimProcedure

property is_java¶

Submodules

unconstrained

Next
angr.procedures.java.unconstrained
Previous
angr.procedures.gnulib.xstrtol_fatal
Copyright © 2026, The angr Project contributors
Made with Sphinx and @pradyunsg's Furo
On this page
  • angr.procedures.java
    • JavaSimProcedure
      • JavaSimProcedure.is_java