Hi everyone, I’m trying to extend the symbolic execution engine in SonarJava by adding support for a custom utility method that performs a null check. What I did: I created a file called faf.app.common.json with behavior definitions for my utility method CommonFunctionsHLP.vacio(Object). I placed…

Hi, Can you share what led you to believe this would work? Thx, Ann

Hi Rafael, So, to be clear, you’re creating a custom plugin? Not trying to hack the one that’s shipped with SonarQube? Thx, Ann

Hi, There was no intention to modify the original. I was using the “java-symbolic-execution-plugin” directory from the “sonar-java” repository. I was trying to avoid false positives with rule S2259. In the post I shared, I understood that it was possible to declare the behavior of my code and thus…

Hi Rafael, The post you pointed to suggests creating a custom plugin: [image] A solution for NullPointerException Fork our open source Sonar Java analyzer What you’re trying to do isn’t intended to work. HTH, Ann

Hi, Oh, it’s good to know, thanks. And is there any way to use the plugin to achieve the goal? Or there is no solution for this specific case? Thanks, Rafael

Hi Rafael, Your best option here is to lay out a convincing case for us to make the rule change. Would you care to share your context and what you’d like to see changed? Ann

This use case is very specify and I don’t believe that it would be relevant for other users. I’m working with a legacy Java codebase where it use a custom utility method called CommonFunctionsHLP.vacio(Object) that has multi-purpose logic: it serves as a generic check for “null or empty” values acr…

Hi @raphael ! We’re developing a new version of our symbolic execution engine, which includes an updated S2259 (Null check) rule, now identified as S6555. This enhanced rule analyzes the entire project and isn’t yet active in the default profile. I believe it could resolve your issue without requir…

Custom JSON Behavior Not Loaded in SonarJava Symbolic Execution Plugin

SonarQube Server / Community Build

Rafael_Machado (Rafael Machado) April 14, 2025, 2:20pm 3

Hi,

I based it on a response from a few years back: sonarqube forum.

Thanks for the response,
Rafael

Topic		Replies	Views
Java Symbolic Execution Writing rules java	2	647	September 13, 2023
Overriding a java rule with a custom version Writing rules java , symbolic_execution	1	2492	June 29, 2018
Customizing a builtin rule Writing rules java , sonarqube	7	345	June 5, 2024
A solution for NullPointerException Plugin Development java , sonarqube , custom_rules	3	752	August 17, 2023
SonarQube executes correct custom rule test class error Writing rules java , sonarqube	6	67	January 8, 2025

Custom JSON Behavior Not Loaded in SonarJava Symbolic Execution Plugin

Related topics