JarCastingHeros 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.
| Лицензия |
Лицензия |
|---|---|
| Группа | Группаde.upb.cs.swt |
| Идентификатор | Идентификаторheros |
| Последняя версия | Последняя версия1.2.3 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
Описание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.
|
| Ссылка на сайт |
Ссылка на сайт |
| Организация-разработчик |
Организация-разработчик |
| Система контроля версий |
Система контроля версий |
Скачать heros
| Имя Файла | Размер |
|---|---|
| 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 |
| Обзор |
Как подключить последнюю версию
<!-- 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"]Зависимости
compile (3)
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.functionaljava : functionaljava | jar | 4.2 |
| com.google.guava : guava | jar | [24.1.1,) |
| org.slf4j : slf4j-api | jar | 1.7.5 |
test (3)
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.hamcrest : hamcrest-core | jar | 1.3 |
| junit : junit | jar | 4.13.1 |
| org.mockito : mockito-core | jar | 3.2.4 |
Модули Проекта
Данный проект не имеет модулей.
