License |
License |
---|---|
GroupId | GroupIdde.upb.cs.swt |
ArtifactId | ArtifactIdheros |
Version | Version1.2.2 |
Type | Typejar |
Description |
DescriptionHeros 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 |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
heros-1.2.2.pom | |
heros-1.2.2.jar | 186 KB |
heros-1.2.2-sources.jar | 101 KB |
heros-1.2.2-javadoc.jar | 581 KB |
heros-1.2.2-jar-with-dependencies.jar | 4 MB |
Browse |
<!-- https://jarcasting.com/artifacts/de.upb.cs.swt/heros/ -->
<dependency>
<groupId>de.upb.cs.swt</groupId>
<artifactId>heros</artifactId>
<version>1.2.2</version>
</dependency>
// https://jarcasting.com/artifacts/de.upb.cs.swt/heros/
implementation 'de.upb.cs.swt:heros:1.2.2'
// https://jarcasting.com/artifacts/de.upb.cs.swt/heros/
implementation ("de.upb.cs.swt:heros:1.2.2")
'de.upb.cs.swt:heros:jar:1.2.2'
<dependency org="de.upb.cs.swt" name="heros" rev="1.2.2">
<artifact name="heros" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.upb.cs.swt', module='heros', version='1.2.2')
)
libraryDependencies += "de.upb.cs.swt" % "heros" % "1.2.2"
[de.upb.cs.swt/heros "1.2.2"]
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 |
Group / Artifact | Type | Version |
---|---|---|
org.hamcrest : hamcrest-core | jar | 1.3 |
junit : junit | jar | 4.12 |
org.mockito : mockito-core | jar | 3.2.4 |