Package edu.umd.cs.findbugs.classfile.engine.bcel
@NullMarked
package edu.umd.cs.findbugs.classfile.engine.bcel
Support for analyses based on the BCEL bytecode framework.
-
ClassesClassDescriptionAnalysisFactory<Analysis>Abstract factory class for creating analysis objects.Class analysis engine for creating AssertionMethods objects.Analysis engine for producing an AssignedFieldMap for a class.Factory to create BackwardTypeQualifierDataflowFactory objects.Analysis engine for producing BlockTypeDataflow for an analyzed method.Analysis engine to produce CallListDataflow objects for a method.Analysis engine to produce CFG (control flow graph) objects for an analyzed method.Adapter to produce the ClassContext for a given class.Analysis engine to produce CompactLocationNumbering objects for methods.Analysis engine to produce ConstantDataflow objects for an analyzed method.Analysis engine to produce ConstantPoolGen objects for an analyzed class.Analysis engine to produce DepthFirstSearch objects for analyzed methods.Register BCEL-framework analysis engines.Analysis engine to produce ExceptionSetFactory objects for analyzed methods.Factory for ForwardTypeQualifierDataflowFactory objects.Analysis engine to produce IsNullValueDataflow objects for an analyzed method.Analysis engine to produce a BCEL JavaClass object for a named class.Analysis engine to produce LiveLocalStoreDataflow objects for analyzed methods.Analysis engine to produce LoadDataflow objects for analyzed methods.Factory to determine which fields are loaded and stored by the instructions in a method, and the overall method.Analysis engine to produce LockChecker objects for analyzed methods.Analysis engine to produce LockDataflow objects for analyzed methods.Method analysis engine to produce BCEL Method objects.Analysis engine to produce MethodGen objects for analyzed methods.DominatorsAnalysis variant in which all exception edges are ignored.Analysis engine to produce DominatorsAnalysis objects for analyzed methods.PostDominatorsAnalysis variant in which all exception edges are ignored.Analysis engine to produce NonExceptionPostDominatorsAnalysis objects for analyzed methods.DominatorsAnalysis variant in which implicit exception edges are ignored.Analysis engine to produce NonImplicitExceptionDominatorsAnalysis objects for analyzed methods.PostDominatorsAnalysis variant in which implicit exception edges are ignored.Analysis engine to produce NonImplicitExceptionPostDominatorsAnalysis objects for analyzed methods.Analysis factory which creates instances of ObligationDataflow.Analysis engine to produce parameter signature lists for analyzed methods.Analysis engine to produce ReturnPathDataflow objects for analyzed methods.Analysis engine to produce ReturnPathTypeDataflow objects for analyzed methods.Analysis engine to produce ReverseDepthFirstSearch objects for analyzed methods.Analysis engine to produce StoreDataflow objects for analyzed methods.Analysis engine to produce TypeDataflow objects for analyzed methods.Analysis engine to produce UnconditionalValueDerefDataflow objects for analyzed methods.Unpacked code for a method.Analysis engine to produce UnpackedCode objects for analyzed methods.Analysis engine to produce ValueNumberDataflow objects for analyzed methods.