From 5415df127022d1b478d78d07bcbf7074d6023134 Mon Sep 17 00:00:00 2001 From: VincenzoArceri Date: Sat, 14 Feb 2026 11:46:28 +0100 Subject: [PATCH 1/2] add JLiSA --- data/tools/jlisa.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 data/tools/jlisa.yml diff --git a/data/tools/jlisa.yml b/data/tools/jlisa.yml new file mode 100644 index 000000000..152432f84 --- /dev/null +++ b/data/tools/jlisa.yml @@ -0,0 +1,11 @@ +name: JLiSA +categories: + - linter +tags: + - Java +license: MIT license +types: + - cli +source: 'https://github.com/lisa-analyzer/jlisa' +homepage: 'https://github.com/lisa-analyzer/jlisa' +description: An abstract interpretation-based static analyzer for Java build upon the [LiSA](https://github.com/lisa-analyzer/lisa) framekwork. \ No newline at end of file From eb12db8d96430dd47cafebb24cd90694e545f9ca Mon Sep 17 00:00:00 2001 From: VincenzoArceri Date: Sat, 14 Feb 2026 11:52:33 +0100 Subject: [PATCH 2/2] fix categories --- data/tools/jlisa.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/tools/jlisa.yml b/data/tools/jlisa.yml index 152432f84..c5bf839f6 100644 --- a/data/tools/jlisa.yml +++ b/data/tools/jlisa.yml @@ -2,7 +2,7 @@ name: JLiSA categories: - linter tags: - - Java + - java license: MIT license types: - cli