View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window analysis_3-0.4.5.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.polystat.odin.analysis.liskov
├─ org.polystat.odin.analysis.liskov.Analyzer.class - [JAR]
org.polystat.odin.analysis.utils.inlining
├─ org.polystat.odin.analysis.utils.inlining.BndItself.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.BndPlaceholder.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.Call.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.GenericMethodInfo.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.GenericParentInfo.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.Inliner.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.LocateCalls.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.LocateMethods.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.LocatorContext.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.MethodInfo.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.MethodInfoAfterInlining.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.MethodInfoForAnalysis.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.MethodPlaceholder.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ObjectInfo.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ObjectInfoForAnalysis.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ObjectNameWithLocator.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ObjectPlaceholder.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ObjectTree.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ParentInfo.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ParentInfoForInlining.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ParentName.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.ParentPlaceholder.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.TraverseMethods.class - [JAR]
├─ org.polystat.odin.analysis.utils.inlining.types.class - [JAR]
org.polystat.odin.analysis.mutualrec.advanced
├─ org.polystat.odin.analysis.mutualrec.advanced.Analyzer.class - [JAR]
├─ org.polystat.odin.analysis.mutualrec.advanced.CallGraph.class - [JAR]
├─ org.polystat.odin.analysis.mutualrec.advanced.Program.class - [JAR]
org.polystat.odin.analysis.utils.logicalextraction
├─ org.polystat.odin.analysis.utils.logicalextraction.ExtractLogic.class - [JAR]
├─ org.polystat.odin.analysis.utils.logicalextraction.SMTUtils.class - [JAR]
org.polystat.odin.analysis.utils
├─ org.polystat.odin.analysis.utils.Abstract.class - [JAR]
├─ org.polystat.odin.analysis.utils.Optics.class - [JAR]
org.polystat.odin.analysis.stateaccess
├─ org.polystat.odin.analysis.stateaccess.DetectStateAccess.class - [JAR]
org.polystat.odin.analysis.utils.j2eo
├─ org.polystat.odin.analysis.utils.j2eo.Other.class - [JAR]
├─ org.polystat.odin.analysis.utils.j2eo.Primitives.class - [JAR]
org.polystat.odin.analysis.unjustifiedassumptions
├─ org.polystat.odin.analysis.unjustifiedassumptions.Analyzer.class - [JAR]
org.polystat.odin.analysis
├─ org.polystat.odin.analysis.ASTAnalyzer.class - [JAR]
├─ org.polystat.odin.analysis.EOOdinAnalyzer.class - [JAR]
├─ org.polystat.odin.analysis.ObjectName.class - [JAR]
