jar

cz.afri : smg

Maven & Gradle

Oct 21, 2015
1 stars

SMG · SMG is a Java library implementing the abstract domain of symbolic memory graphs. The library is supposed to be used by static analyzers for C programs, especially those that need to deal with pointer-rich programs and those working with unbounded dynamic data structures.

Table Of Contents

Latest Version

Download cz.afri : smg JAR file - Latest Versions:

All Versions

Download cz.afri : smg JAR file - All Versions:

Version Vulnerabilities Size Updated
1.0

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 smg-1.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

cz.afri.smg.graphs

├─ cz.afri.smg.graphs.CLangSMG.class - [JAR]

├─ cz.afri.smg.graphs.CLangSMGConsistencyVerifier.class - [JAR]

├─ cz.afri.smg.graphs.CLangStackFrame.class - [JAR]

├─ cz.afri.smg.graphs.NeqRelation.class - [JAR]

├─ cz.afri.smg.graphs.ReadableSMG.class - [JAR]

├─ cz.afri.smg.graphs.SMG.class - [JAR]

├─ cz.afri.smg.graphs.SMGConsistencyVerifier.class - [JAR]

├─ cz.afri.smg.graphs.SMGEdge.class - [JAR]

├─ cz.afri.smg.graphs.SMGEdgeHasValue.class - [JAR]

├─ cz.afri.smg.graphs.SMGEdgeHasValueFilter.class - [JAR]

├─ cz.afri.smg.graphs.SMGEdgePointsTo.class - [JAR]

├─ cz.afri.smg.graphs.SMGFactory.class - [JAR]

├─ cz.afri.smg.graphs.SMGNodeDotVisitor.class - [JAR]

├─ cz.afri.smg.graphs.SMGObjectNode.class - [JAR]

├─ cz.afri.smg.graphs.SMGPlotter.class - [JAR]

├─ cz.afri.smg.graphs.SMGValueFactory.class - [JAR]

├─ cz.afri.smg.graphs.SMGValues.class - [JAR]

├─ cz.afri.smg.graphs.WritableSMG.class - [JAR]

cz.afri.smg.objects.sll

├─ cz.afri.smg.objects.sll.SMGSingleLinkedList.class - [JAR]

├─ cz.afri.smg.objects.sll.SMGSingleLinkedListCandidate.class - [JAR]

├─ cz.afri.smg.objects.sll.SMGSingleLinkedListConcretisation.class - [JAR]

├─ cz.afri.smg.objects.sll.SMGSingleLinkedListFinder.class - [JAR]

cz.afri.smg

├─ cz.afri.smg.SMGAbstractionCandidate.class - [JAR]

├─ cz.afri.smg.SMGAbstractionFinder.class - [JAR]

├─ cz.afri.smg.SMGAbstractionManager.class - [JAR]

├─ cz.afri.smg.SMGConcretisation.class - [JAR]

cz.afri.smg.types

├─ cz.afri.smg.types.CFunctionDeclaration.class - [JAR]

├─ cz.afri.smg.types.CFunctionType.class - [JAR]

├─ cz.afri.smg.types.CIdExpression.class - [JAR]

├─ cz.afri.smg.types.CParameterDeclaration.class - [JAR]

├─ cz.afri.smg.types.CPointerType.class - [JAR]

├─ cz.afri.smg.types.CType.class - [JAR]

├─ cz.afri.smg.types.CVoidType.class - [JAR]

cz.afri.smg.join

├─ cz.afri.smg.join.SMGJoin.class - [JAR]

├─ cz.afri.smg.join.SMGJoinFields.class - [JAR]

├─ cz.afri.smg.join.SMGJoinMapTargetAddress.class - [JAR]

├─ cz.afri.smg.join.SMGJoinMatchObjects.class - [JAR]

├─ cz.afri.smg.join.SMGJoinStatus.class - [JAR]

├─ cz.afri.smg.join.SMGJoinSubSMGs.class - [JAR]

├─ cz.afri.smg.join.SMGJoinSubSMGsForAbstraction.class - [JAR]

├─ cz.afri.smg.join.SMGJoinTargetObjects.class - [JAR]

├─ cz.afri.smg.join.SMGJoinValues.class - [JAR]

├─ cz.afri.smg.join.SMGNodeMapping.class - [JAR]

cz.afri.smg.objects

├─ cz.afri.smg.objects.DummyAbstraction.class - [JAR]

├─ cz.afri.smg.objects.SMGAbstractObject.class - [JAR]

├─ cz.afri.smg.objects.SMGObject.class - [JAR]

├─ cz.afri.smg.objects.SMGObjectVisitor.class - [JAR]

├─ cz.afri.smg.objects.SMGRegion.class - [JAR]

cz.afri.smg.objects.tree

├─ cz.afri.smg.objects.tree.SimpleBinaryTree.class - [JAR]

├─ cz.afri.smg.objects.tree.SimpleBinaryTreeCandidate.class - [JAR]

├─ cz.afri.smg.objects.tree.SimpleBinaryTreeFinder.class - [JAR]

├─ cz.afri.smg.objects.tree.TreeBinding.class - [JAR]