Download JAR files tagged by analysis with all dependencies

theta-analysis from group hu.bme.mit.theta (version 5.1.0)

Analysis subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-analysis
Show all versions Show documentation Show source

0 downloads

Artifact theta-analysis
Group hu.bme.mit.theta
Version 5.1.0
Last update 25. March 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

violation-comments-to-bitbucket-cloud-command-line from group se.bjurr.violations (version 1.34.0)

Report static code analysis to Bitbucket Cloud.

Group: se.bjurr.violations Artifact: violation-comments-to-bitbucket-cloud-command-line
Show all versions Show documentation Show source

0 downloads

Artifact violation-comments-to-bitbucket-cloud-command-line
Group se.bjurr.violations
Version 1.34.0
Last update 24. March 2024
Organization not specified
URL https://github.com/tomasbjerre/violation-comments-to-bitbucket-cloud-command-line
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

boomerangPDS from group de.fraunhofer.iem (version 3.1.2)

Group: de.fraunhofer.iem Artifact: boomerangPDS
Show all versions Show documentation Show source

0 downloads

Artifact boomerangPDS
Group de.fraunhofer.iem
Version 3.1.2
Last update 17. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 7
Dependencies testCore, boomerangScope, guava, junit, json-simple, slf4j-api, slf4j-log4j12,
There are maybe transitive dependencies!

synchronizedPDS from group de.fraunhofer.iem (version 3.1.2)

Group: de.fraunhofer.iem Artifact: synchronizedPDS
Show all versions Show documentation Show source

0 downloads

Artifact synchronizedPDS
Group de.fraunhofer.iem
Version 3.1.2
Last update 17. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies WPDS, guava, pathexpression, junit,
There are maybe transitive dependencies!

SPDS from group de.fraunhofer.iem (version 3.1.2)

Synchronized Pushdown Systems for Pointer and Data-Flow Analysis

Group: de.fraunhofer.iem Artifact: SPDS
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact SPDS
Group de.fraunhofer.iem
Version 3.1.2
Last update 17. March 2024
Organization not specified
URL https://github.com/CodeShield-Security/SPDS
License Eclipse Public License - v 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

WPDS from group de.fraunhofer.iem (version 3.1.2)

Group: de.fraunhofer.iem Artifact: WPDS
Show all versions Show documentation Show source

0 downloads

Artifact WPDS
Group de.fraunhofer.iem
Version 3.1.2
Last update 17. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies junit, guava, pathexpression, slf4j-api,
There are maybe transitive dependencies!

boomerangScope-WALA from group de.fraunhofer.iem (version 3.1.2)

Group: de.fraunhofer.iem Artifact: boomerangScope-WALA
Show documentation Show source

0 downloads

Artifact boomerangScope-WALA
Group de.fraunhofer.iem
Version 3.1.2
Last update 17. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 7
Dependencies boomerangScope, com.ibm.wala.core, com.ibm.wala.cast, com.ibm.wala.shrike, com.ibm.wala.cast.java, com.ibm.wala.util, com.ibm.wala.cast.java.ecj,
There are maybe transitive dependencies!

idealPDS from group de.fraunhofer.iem (version 3.1.2)

Group: de.fraunhofer.iem Artifact: idealPDS
Show all versions Show documentation Show source

0 downloads

Artifact idealPDS
Group de.fraunhofer.iem
Version 3.1.2
Last update 17. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies testCore, boomerangPDS, guava, junit, slf4j-api, slf4j-log4j12,
There are maybe transitive dependencies!

testCore from group de.fraunhofer.iem (version 3.1.2)

Group: de.fraunhofer.iem Artifact: testCore
Show all versions Show documentation Show source

0 downloads

Artifact testCore
Group de.fraunhofer.iem
Version 3.1.2
Last update 17. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies soot, synchronizedPDS, junit,
There are maybe transitive dependencies!

boomerangScope from group de.fraunhofer.iem (version 3.1.2)

Group: de.fraunhofer.iem Artifact: boomerangScope
Show documentation Show source

0 downloads

Artifact boomerangScope
Group de.fraunhofer.iem
Version 3.1.2
Last update 17. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies junit, soot, synchronizedPDS,
There are maybe transitive dependencies!

Page 73 from 193 (items total 1921)