Home » org.sonarsource.java » sonar-java-symbolic-execution-plugin » 8.18.1.347

SonarQube Java :: Symbolic Execution Plugin » 8.18.1.347

SonarQube Java :: Symbolic Execution Plugin

CategoriesSonar Plugins
Tagspluginsonarexec
DateAug 20, 2025
Filespom (6 KB)  sonar-plugin (1.1 MB)  View All
RepositoriesCentral
Ranking#537854 in MvnRepository (See Top Artifacts)
#132 in Sonar Plugins

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Compile Dependencies (3)

Category/License Group / ArtifactVersionUpdates
Core Utils
Apache 2.0		org.apache.commons » commons-lang3 3.18.03.20.0

LGPL 3.0		org.sonarsource.analyzer-commons » sonar-performance-measure 2.17.0.33222.19.0.3575

LGPL 3.0		org.sonarsource.analyzer-commons » sonar-analyzer-commons 2.17.0.33222.19.0.3575

Provided Dependencies (3)

Category/License Group / ArtifactVersionUpdates
Logging
MIT		org.slf4j » slf4j-api 1.7.302.0.17

LGPL 3.0		org.sonarsource.api.plugin » sonar-plugin-api 11.0.0.266413.4.0.3221

org.sonarsource.java » java-frontend 8.15.0.393438.20.0.40630

Test Dependencies (11)

Category/License Group / ArtifactVersionUpdates
Core Utils
Apache 2.0		com.google.guava » guava 33.3.1-jre33.5.0-jre
I/O
Apache 2.0		commons-io » commons-io 2.17.02.21.0
Assertion
Apache 2.0		org.assertj » assertj-core 3.26.33.27.6
Testing
EPL 2.0		org.junit.jupiter » junit-jupiter 5.11.26.0.1
Mocking
MIT		org.mockito » mockito-core 5.14.25.20.0
Mocking
MIT		org.mockito » mockito-junit-jupiter 5.14.25.20.0

LGPL 3.0		org.sonarsource.api.plugin » sonar-plugin-api-test-fixtures 11.0.0.266413.4.0.3221

org.sonarsource.java » test-classpath-reader 8.15.0.393438.20.0.40630
Testing
org.sonarsource.java » java-checks-testkit 8.15.0.393438.20.0.40630

org.sonarsource.java » java-checks 8.15.0.393438.20.0.40630

LGPL 3.0		org.sonarsource.sonarqube » sonar-plugin-api-impl 25.1.0.10212225.11.0.114957

Licenses

LicenseURL
SSALv1 https://sonarsource.com/license/ssal/

Developers

NameEmailDev IdRolesOrganization
Alban Auzeillalban-auzeillSonarSource
Angelo BuonoADarko22SonarSource
Dorian Burihabwadorian-burihabwa-sonarsourceSonarSource
Irina Batinicirina-batinic-sonarsourceSonarSource
Johann Beleitesjohann-beleites-sonarsourceSonarSource
Leonardo Pilastrileonardo-pilastri-sonarsourceSonarSource
Marco KaufmannkaufcoSonarSource
Margarita NedzelskaleveretkaSonarSource
Michael GumowskiWohopsSonarSource
Chrislain Razafimahefachrislain-razafimahefa-sonarsourceSonarSource
Evgeny MandrikovgodinSonarSource
Nicolas PerubenzonicoSonarSource
Quentin Jaquierquentin-jaquier-sonarsourceSonarSource
Sebastian Hungereckersebastian-hungerecker-sonarsourceSonarSource
Tibor BlenessysaberduckSonarSource
Eric HartmannehartmannSonarSource
Julien HenryhenryjuSonarSource
Evgeny MandrikovGodinSonarSource
Olivier Gaudinolivier.gaudinSonarSource
Simon BrandhofsimonbrandhofSonarSource

Related Books

SonarQube in ActionSonarQube in Action (2013)
by Campbell, G. Ann
SonarQube in ActionSonarQube in Action (2013)
by Papapetrou, Patroklos
Sonar Code Quality Testing EssentialsSonar Code Quality Testing Essentials (2012)
by S. Arapidis, Charalampos