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.

License	GNU LESSER GENERAL PUBLIC LICENSE 2.1
GroupId	de.upb.cs.swt
ArtifactId	heros
Last Version	1.2.3
Release Date	Dec 29, 2021
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

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	4 MB

How to add to project

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.

Sable Research Group

Versions

Version
1.2.3 Dec 29, 2021
1.2.2 Jul 16, 2020
1.2.1 Jun 26, 2020
1.2.0 Nov 14, 2019
1.1.0 Mar 8, 2019