Heros IFDS/IDE Solver 1.2.3

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.

License	GNU LESSER GENERAL PUBLIC LICENSE 2.1
GroupId	de.upb.cs.swt
ArtifactId	heros
Version	1.2.3
Type	jar
Description	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.
Project URL	https://github.com/Sable/heros
Project Organization	Secure Software Engineering Group - University of Paderborn
Source Code Management	https://github.com/Sable/heros/tree/master

Download heros 1.2.3

Filename	Size
heros-1.2.3.pom
heros-1.2.3.jar	186 KB
heros-1.2.3-sources.jar	101 KB
heros-1.2.3-javadoc.jar	581 KB
heros-1.2.3-jar-with-dependencies.jar	5 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.3</version>
</dependency>

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

Dependencies

compile (3)

Group / Artifact	Type	Version
org.functionaljava : functionaljava	jar	4.2
com.google.guava : guava	jar	[24.1.1,)
org.slf4j : slf4j-api	jar	1.7.5

test (3)

Group / Artifact	Type	Version
org.hamcrest : hamcrest-core	jar	1.3
junit : junit	jar	4.13.1
org.mockito : mockito-core	jar	3.2.4

Project Modules

There are no modules declared in this project.