infer

Here are 4 public repositories matching this topic...

sonar-next / sonar-swift

sonar-swift.SonarQube iOS Plugin, Support Objective-C/Swift/Java, Support import Infer Issue (SonarQube iOS 代码扫描插件，支持 Objective-C 和 Swift / Java，支持 Infer 结果导入 ) base on https://github.com/Idean/sonar-swift

java swift objective-c static-analysis sonarqube swiftlint sonarqube-plugin infer lizard sonar-swift oclint sonar-objectivec sonarqube-ios

Updated Jan 29, 2026
Java

jiangxincode / SarifConverter

Star

This project targets to make a universal SARIF format converter

findbugs pmd infer sarif fireline simian

Updated Apr 8, 2023
Java

24luca24 / software-analysis

Star

As a student in the Master's program in Software and Data Engineering, I am currently enrolled in a Software Analysis course. In this repository, I will share the work we did and the technologies we used in the course.

algorithms software-analysis spin infer promela-model dafny-language

Updated Jul 5, 2025
Java

ouyangpeng / vb-android-app-quality

Star

Sample android project using Gradle, with basic quality tools set up.

lint findbugs pmd checkstyle infer

Updated Sep 16, 2017
Java

Improve this page

Add a description, image, and links to the infer topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the infer topic, visit your repo's landing page and select "manage topics."

Learn more