JarCasting
JarCasting JarCasting

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

License
GroupId

GroupId

de.upb.cs.swt
ArtifactId

ArtifactId

heros
Last Version

Last Version

1.2.3
Release Date

Release Date
Type

Type

jar
Description

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

Project URL

https://github.com/Sable/heros
Project Organization

Project Organization

Secure Software Engineering Group - University of Paderborn
Source Code Management

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
Browse

How to add to project

<!-- 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>
// https://jarcasting.com/artifacts/de.upb.cs.swt/heros/
implementation 'de.upb.cs.swt:heros:1.2.3'
// https://jarcasting.com/artifacts/de.upb.cs.swt/heros/
implementation ("de.upb.cs.swt:heros:1.2.3")
'de.upb.cs.swt:heros:jar:1.2.3'
<dependency org="de.upb.cs.swt" name="heros" rev="1.2.3">
  <artifact name="heros" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.upb.cs.swt', module='heros', version='1.2.3')
)
libraryDependencies += "de.upb.cs.swt" % "heros" % "1.2.3"
[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.
de.upb.cs.swt

Sable Research Group

Versions

Version
1.2.3
1.2.2
1.2.1
1.2.0
1.1.0