jar

de.upb.cs.swt : heros

Maven & Gradle

Dec 29, 2021
5 usages
216 stars

Heros IFDS/IDE Solver · Heros is a generic implementation of an IFDS/IDE Solver that can be plugged into existing, Java-based program analysis frameworks. A reference connector exists for the Soot framework.

Table Of Contents

Latest Version

Download de.upb.cs.swt : heros JAR file - Latest Versions:

All Versions

Download de.upb.cs.swt : heros JAR file - All Versions:

Version Vulnerabilities Size Updated
1.2.x
1.1.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window heros-1.2.3.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

heros

├─ heros.DefaultSeeds.class - [JAR]

├─ heros.DontSynchronize.class - [JAR]

├─ heros.EdgeFunction.class - [JAR]

├─ heros.EdgeFunctionCache.class - [JAR]

├─ heros.EdgeFunctions.class - [JAR]

├─ heros.FlowFunction.class - [JAR]

├─ heros.FlowFunctionCache.class - [JAR]

├─ heros.FlowFunctions.class - [JAR]

├─ heros.IDETabulationProblem.class - [JAR]

├─ heros.IFDSTabulationProblem.class - [JAR]

├─ heros.InterproceduralCFG.class - [JAR]

├─ heros.ItemPrinter.class - [JAR]

├─ heros.MeetLattice.class - [JAR]

├─ heros.MustSynchronize.class - [JAR]

├─ heros.ProfiledFlowFunctions.class - [JAR]

├─ heros.SolverConfiguration.class - [JAR]

├─ heros.SynchronizedBy.class - [JAR]

├─ heros.ThreadSafe.class - [JAR]

├─ heros.TwoElementSet.class - [JAR]

├─ heros.ZeroedFlowFunctions.class - [JAR]

heros.solver

├─ heros.solver.BiDiIDESolver.class - [JAR]

├─ heros.solver.BiDiIFDSSolver.class - [JAR]

├─ heros.solver.CountLatch.class - [JAR]

├─ heros.solver.CountingThreadPoolExecutor.class - [JAR]

├─ heros.solver.FlowFunctionDotExport.class - [JAR]

├─ heros.solver.IDESolver.class - [JAR]

├─ heros.solver.IFDSSolver.class - [JAR]

├─ heros.solver.JoinHandlingNode.class - [JAR]

├─ heros.solver.JoinHandlingNodesIFDSSolver.class - [JAR]

├─ heros.solver.JumpFunctions.class - [JAR]

├─ heros.solver.LinkedNode.class - [JAR]

├─ heros.solver.Pair.class - [JAR]

├─ heros.solver.PathEdge.class - [JAR]

├─ heros.solver.PathTrackingIFDSSolver.class - [JAR]

heros.edgefunc

├─ heros.edgefunc.AllBottom.class - [JAR]

├─ heros.edgefunc.AllTop.class - [JAR]

├─ heros.edgefunc.EdgeIdentity.class - [JAR]

heros.fieldsens

├─ heros.fieldsens.AccessPath.class - [JAR]

├─ heros.fieldsens.AccessPathHandler.class - [JAR]

├─ heros.fieldsens.BiDiFieldSensitiveIFDSSolver.class - [JAR]

├─ heros.fieldsens.CallEdge.class - [JAR]

├─ heros.fieldsens.CallEdgeResolver.class - [JAR]

├─ heros.fieldsens.Context.class - [JAR]

├─ heros.fieldsens.ControlFlowJoinResolver.class - [JAR]

├─ heros.fieldsens.Debugger.class - [JAR]

├─ heros.fieldsens.FactMergeHandler.class - [JAR]

├─ heros.fieldsens.FieldSensitiveIFDSSolver.class - [JAR]

├─ heros.fieldsens.FlowFunction.class - [JAR]

├─ heros.fieldsens.FlowFunctions.class - [JAR]

├─ heros.fieldsens.IFDSTabulationProblem.class - [JAR]

├─ heros.fieldsens.InterestCallback.class - [JAR]

├─ heros.fieldsens.MethodAnalyzer.class - [JAR]

├─ heros.fieldsens.MethodAnalyzerImpl.class - [JAR]

├─ heros.fieldsens.PerAccessPathMethodAnalyzer.class - [JAR]

├─ heros.fieldsens.Resolver.class - [JAR]

├─ heros.fieldsens.ResolverTemplate.class - [JAR]

├─ heros.fieldsens.ReturnSiteResolver.class - [JAR]

├─ heros.fieldsens.Scheduler.class - [JAR]

├─ heros.fieldsens.SourceStmtAnnotatedMethodAnalyzer.class - [JAR]

├─ heros.fieldsens.ZeroCallEdgeResolver.class - [JAR]

├─ heros.fieldsens.ZeroHandler.class - [JAR]

heros.fieldsens.structs

├─ heros.fieldsens.structs.DeltaConstraint.class - [JAR]

├─ heros.fieldsens.structs.FactAtStatement.class - [JAR]

├─ heros.fieldsens.structs.ReturnEdge.class - [JAR]

├─ heros.fieldsens.structs.WrappedFact.class - [JAR]

├─ heros.fieldsens.structs.WrappedFactAtStatement.class - [JAR]

heros.template

├─ heros.template.DefaultIDETabulationProblem.class - [JAR]

├─ heros.template.DefaultIFDSTabulationProblem.class - [JAR]

heros.util

├─ heros.util.SootThreadGroup.class - [JAR]

heros.utilities

├─ heros.utilities.DefaultValueMap.class - [JAR]

├─ heros.utilities.JsonArray.class - [JAR]

├─ heros.utilities.JsonDocument.class - [JAR]

heros.flowfunc

├─ heros.flowfunc.Compose.class - [JAR]

├─ heros.flowfunc.Gen.class - [JAR]

├─ heros.flowfunc.Identity.class - [JAR]

├─ heros.flowfunc.Kill.class - [JAR]

├─ heros.flowfunc.KillAll.class - [JAR]

├─ heros.flowfunc.Transfer.class - [JAR]

├─ heros.flowfunc.Union.class - [JAR]

Advertisement

Dependencies from Group

Dec 29, 2021
5 usages
216 stars
Aug 02, 2022
4 usages
67 stars
Feb 07, 2019
0 stars
Sep 18, 2019
18 stars

Discover Dependencies

Apr 15, 2023
4 usages
27 stars
Jul 28, 2023
6 usages
0 stars
May 28, 2023
6 usages
0 stars
May 12, 2021
2 usages
250 stars
Jul 26, 2023
2 usages
2 stars
Dec 19, 2013
2 usages
edu
Oct 31, 2018
7 stars
Aug 04, 2016
3 usages