de.upb.cs.swt:heros 1.2.1

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.

GroupId	de.upb.cs.swt
ArtifactId	heros
Version	1.2.1
Type	jar

Download heros 1.2.1

Filename	Size
heros-1.2.1.pom
heros-1.2.1.jar	186 KB
heros-1.2.1-sources.jar	101 KB
heros-1.2.1-javadoc.jar	581 KB
heros-1.2.1-jar-with-dependencies.jar	4 MB

Apache Maven

<!-- https://jarcasting.com/artifacts/de.upb.cs.swt/heros/ -->
<dependency>
    <groupId>de.upb.cs.swt</groupId>
    <artifactId>heros</artifactId>
    <version>1.2.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/de.upb.cs.swt/heros/
implementation 'de.upb.cs.swt:heros:1.2.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.upb.cs.swt/heros/
implementation ("de.upb.cs.swt:heros:1.2.1")

Apache Buildr

'de.upb.cs.swt:heros:jar:1.2.1'

Apache Ivy

<dependency org="de.upb.cs.swt" name="heros" rev="1.2.1">
  <artifact name="heros" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='de.upb.cs.swt', module='heros', version='1.2.1')
)

Scala SBT

libraryDependencies += "de.upb.cs.swt" % "heros" % "1.2.1"

Leiningen

[de.upb.cs.swt/heros "1.2.1"]