Package and Module info not parsed from bytecode

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

526 stars 335 forks source link

Package and Module info not parsed from bytecode #252

Open yuvaraj-anbarasan opened 4 years ago

yuvaraj-anbarasan commented 4 years ago

Constant pool tags, CONSTANT_Package and CONSTANT_Module which were introduced since java 9, contains the package and module info of a class but are currently not parsed by JPF.

yuvaraj-anbarasan commented 4 years ago

module-info class is missing for modules.