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 theta-xcfa-4.4.4.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
hu.bme.mit.theta.xcfa.passes.xcfapass
├─ hu.bme.mit.theta.xcfa.passes.xcfapass.DemoteThreadLocalGlobals.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.xcfapass.RemoveUnusedGlobals.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.xcfapass.XcfaPass.class - [JAR]
hu.bme.mit.theta.xcfa.model
├─ hu.bme.mit.theta.xcfa.model.XCFA.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.XcfaEdge.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.XcfaLabel.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.XcfaLabelVisitor.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.XcfaLocation.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.XcfaProcedure.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.XcfaProcess.class - [JAR]
hu.bme.mit.theta.xcfa.passes.processpass
├─ hu.bme.mit.theta.xcfa.passes.processpass.AnalyzeCallGraph.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.processpass.AssignFunctionParam.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.processpass.FunctionInlining.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.processpass.ProcessPass.class - [JAR]
hu.bme.mit.theta.xcfa.passes
├─ hu.bme.mit.theta.xcfa.passes.XcfaPassManager.class - [JAR]
hu.bme.mit.theta.xcfa.model.utils
├─ hu.bme.mit.theta.xcfa.model.utils.ExpressionReplacer.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.FrontendXcfaBuilder.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.LabelExpressionMappingVisitor.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.LabelUtils.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.StmtVarToArrayItemVisitor.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.XcfaAtomCollecter.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.XcfaLabelVarCollector.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.XcfaLabelVarReplacer.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.XcfaStmtUtils.class - [JAR]
├─ hu.bme.mit.theta.xcfa.model.utils.XcfaUtils.class - [JAR]
hu.bme.mit.theta.xcfa.passes.procedurepass
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.AddAtomicBeginEndsToFunctions.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.AddHavocRange.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.AssignmentChainRemoval.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.CallsToFinalLocs.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.CallsToHavocs.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.ConditionalFinalsToAssumes.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.EliminateSelfLoops.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.EmptyEdgeRemovalPass.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.FpFunctionsToExprs.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.GlobalVarsToStoreLoad.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.HavocAssignments.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.HavocPromotion.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.InitMemory.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.NoReadVarRemovalPass.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.OneStmtPerEdgePass.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.PorPass.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.ProcedurePass.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.PthreadCallsToThreadStmts.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.ReferenceToMemory.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.RemoveDeadEnds.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.SimpleLbePass.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.SimplifyAssumptions.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.SimplifyExprs.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.UnrollLoopsPass.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.UnusedVarRemovalPass.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.Utils.class - [JAR]
├─ hu.bme.mit.theta.xcfa.passes.procedurepass.VerifierFunctionsToLabels.class - [JAR]
