Updating after repo move

.github/release-drafter-config.yml

@@ -16,9 +16,9 @@ categories:
 change-template: '- $TITLE @$AUTHOR (#$NUMBER)'
 change-title-escapes: '\<*_&'
 template: |
-  [Milestone with issues list](https://github.com/UniVE-SSV/lisa/milestone/###MILESTONE_NUMBER###) 
-  [Maven (sdk)](https://search.maven.org/artifact/com.github.unive-ssv/lisa-sdk/###TARGET_VERSION###/jar) - [Maven (core)](https://search.maven.org/artifact/com.github.unive-ssv/lisa-core/###TARGET_VERSION###/jar) - [Maven (imp)](https://search.maven.org/artifact/com.github.unive-ssv/lisa-imp/###TARGET_VERSION###/jar)
-  [Javadoc (sdk)](https://javadoc.io/doc/com.github.unive-ssv/lisa-sdk/###TARGET_VERSION###) - [Javadoc (core)](https://javadoc.io/doc/com.github.unive-ssv/lisa-core/###TARGET_VERSION###) - [Javadoc (imp)](https://javadoc.io/doc/com.github.unive-ssv/lisa-imp/###TARGET_VERSION###)
+  [Milestone with issues list](https://github.com/lisa-analyzer/lisa/milestone/###MILESTONE_NUMBER###) 
+  [Maven (sdk)](https://search.maven.org/artifact/io.github.lisa-analyzer/lisa-sdk/###TARGET_VERSION###/jar) - [Maven (core)](https://search.maven.org/artifact/io.github.lisa-analyzer/lisa-core/###TARGET_VERSION###/jar) - [Maven (imp)](https://search.maven.org/artifact/io.github.lisa-analyzer/lisa-imp/###TARGET_VERSION###/jar)
+  [Javadoc (sdk)](https://javadoc.io/doc/io.github.lisa-analyzer/lisa-sdk/###TARGET_VERSION###) - [Javadoc (core)](https://javadoc.io/doc/io.github.lisa-analyzer/lisa-core/###TARGET_VERSION###) - [Javadoc (imp)](https://javadoc.io/doc/io.github.lisa-analyzer/lisa-imp/###TARGET_VERSION###)
   
   ## Changes
 

.github/workflows/broken-links.yml

@@ -12,5 +12,5 @@ jobs:
       - name: Check links with linkcheck
         uses: filiph/[email protected]+1
         with:
-          arguments: https://unive-ssv.github.io/lisa/
+          arguments: https://lisa-analyzer.github.io/
 

.github/workflows/cron-scheduler.yml

@@ -35,7 +35,7 @@ jobs:
             curl --silent --show-error -X POST -H "Accept: application/vnd.github.v3+json" \
               https://api.github.com/repos/$GITHUB_REPOSITORY/actions/workflows/cron-runner.yml/dispatches \
               -d "{ \"ref\" : \"$source\", \"inputs\" : { \"source\" : \"$source\" }}" \
-              -u ${{ secrets.SSVPAT }} 
+              -u ${{ secrets.LISA_PAT }} 
           else
             echo "+- Skipping cron tests on $source"
           fi

.github/workflows/gradle-master.yml

@@ -33,19 +33,19 @@ jobs:
     - name: 'Delete pre-releases of lisa-sdk from packages'
       uses: actions/delete-package-versions@v2
       with: 
-        package-name: 'com.github.unive-ssv.lisa-sdk'
+        package-name: 'io.github.lisa-analyzer.lisa-sdk'
         min-versions-to-keep: 0
         delete-only-pre-release-versions: "true"
     - name: 'Delete pre-releases of lisa-core from packages'
       uses: actions/delete-package-versions@v2
       with: 
-        package-name: 'com.github.unive-ssv.lisa-core'
+        package-name: 'io.github.lisa-analyzer.lisa-core'
         min-versions-to-keep: 0
         delete-only-pre-release-versions: "true"
     - name: 'Delete pre-releases of lisa-imp from packages'
       uses: actions/delete-package-versions@v2
       with: 
-        package-name: 'com.github.unive-ssv.lisa-imp'
+        package-name: 'io.github.lisa-analyzer.lisa-imp'
         min-versions-to-keep: 0
         delete-only-pre-release-versions: "true"
     - name: 'Retrieve commit list'

CONTRIBUTING.md

@@ -44,4 +44,4 @@ Contributions to LiSA are always welcome! Thank you for taking time to make LiSA
 + [GitHub pull request docs](https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/creating-a-pull-request)
 + [LiSA issues][issues]
 
-[issues]:https://github.com/UniVE-SSV/lisa/issues 
+[issues]:https://github.com/lisa-analyzer/lisa/issues 

LICENSE

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2020 UniVE-SSV
+Copyright (c) 2020 LiSA Analyzer
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

README.md

@@ -2,12 +2,12 @@
 
 ---
 
-![GitHub](https://img.shields.io/github/license/UniVE-SSV/lisa?color=brightgreen)
-![GitHub Workflow Status (branch)](https://img.shields.io/github/workflow/status/UniVE-SSV/lisa/Gradle%20Build/master)
-![GitHub release (latest)](https://img.shields.io/github/v/release/UniVE-SSV/lisa?display_name=release&color=brightgreen)
-![GitHub last commit](https://img.shields.io/github/last-commit/UniVE-SSV/lisa)
-[![Maven Central](https://img.shields.io/maven-central/v/com.github.unive-ssv/lisa-sdk?color=brightgreen)](https://search.maven.org/artifact/com.github.unive-ssv/lisa-sdk)
-[![Javadoc.io](https://javadoc.io/badge2/com.github.unive-ssv/lisa-sdk/javadoc.svg)](https://javadoc.io/doc/com.github.unive-ssv/lisa-sdk)
+![GitHub](https://img.shields.io/github/license/lisa-analyzer/lisa?color=brightgreen)
+![GitHub Workflow Status (branch)](https://img.shields.io/github/workflow/status/lisa-analyzer/lisa/Gradle%20Build/master)
+![GitHub release (latest)](https://img.shields.io/github/v/release/lisa-analyzer/lisa?display_name=release&color=brightgreen)
+![GitHub last commit](https://img.shields.io/github/last-commit/lisa-analyzer/lisa)
+[![Maven Central](https://img.shields.io/maven-central/v/io.github.lisa-analyzer/lisa-sdk?color=brightgreen)](https://search.maven.org/artifact/io.github.lisa-analyzer/lisa-sdk)
+[![Javadoc.io](https://javadoc.io/badge2/io.github.lisa-analyzer/lisa-sdk/javadoc.svg)](https://javadoc.io/doc/io.github.lisa-analyzer/lisa-sdk)
 
 LiSA (Library for Static Analysis) aims to ease the creation and implementation of static analyzers based on the Abstract Interpretation theory.
 LiSA provides an analysis engine that works on a generic and extensible control flow graph representation of the program to analyze. Abstract interpreters in LiSA are built 
@@ -17,7 +17,7 @@ Building an analyzer upon LiSA boils down to writing a parser for the language t
 the control flow graph representation of LiSA. Then, simple checks iterating over the results provided by the semantic analyses of LiSA can be easily defined to translate 
 semantic information into warnings that can be of value for the final user. 
 
-For more information, documentation and useful guides, refer to the [project website](https://unive-ssv.github.io/lisa/)!
+For more information, documentation and useful guides, refer to the [project website](https://lisa-analyzer.github.io/)!
 
 ## Contributing 
 
@@ -26,11 +26,11 @@ External contributions are always welcome! Check out our [contributing guideline
 
 ## Releases
 
-Head to the [project's website](https://unive-ssv.github.io/lisa/releases/) for the full list of releases. 
+Head to the [project's website](https://lisa-analyzer.github.io/releases/) for the full list of releases. 
 
 ### Snapshots
 
-The snapshot of the last commit of the `master` branch is always available on [GitHub Packages](https://github.com/orgs/UniVE-SSV/packages?repo_name=lisa) (you can find the updated milestone [here](https://github.com/UniVE-SSV/lisa/releases/tag/latest)).
+The snapshot of the last commit of the `master` branch is always available on [GitHub Packages](https://github.com/orgs/lisa-analyzer/packages?repo_name=lisa) (you can find the updated milestone [here](https://github.com/lisa-analyzer/lisa/releases/tag/latest)).
 
 ### Next steps
 

lisa/lisa-sdk/src/test/java/it/unive/lisa/interprocedural/callgraph/CallRegisteringTest.java

@@ -29,7 +29,7 @@
 public class CallRegisteringTest {
 
 	/**
-	 * @see <a href="https://github.com/UniVE-SSV/lisa/issues/145">#145</a>
+	 * @see <a href="https://github.com/lisa-analyzer/lisa/issues/145">#145</a>
 	 */
 	@Test
 	public void issue145() throws CallResolutionException, ProgramValidationException, CallGraphConstructionException {

lisa/publishing.gradle

@@ -2,12 +2,12 @@ publishing {
     publications {
         mavenJava(MavenPublication) {
             artifactId = project.name 
-            groupId = 'com.github.unive-ssv'
+            groupId = 'io.github.lisa-analyzer'
             from components.java
             pom {
                 name = 'LiSA (' + project.name + ')' 
                 description = 'A library for static analysis'
-                url = 'https://unive-ssv.github.io/lisa/'
+                url = 'https://lisa-analyzer.github.io/'
                 packaging = 'jar'
                 licenses {
                     license {
@@ -42,9 +42,9 @@ publishing {
                     }
                 }
                 scm {
-                    connection = 'scm:git:git://github.com/UniVE-SSV/lisa.git'
-                    developerConnection = 'scm:git:ssh://github.com/UniVE-SSV/lisa.git'
-                    url = 'https://github.com/UniVE-SSV/lisa'
+                    connection = 'scm:git:git://github.com/lisa-analyzer/lisa.git'
+                    developerConnection = 'scm:git:ssh://github.com/lisa-analyzer/lisa.git'
+                    url = 'https://github.com/lisa-analyzer/lisa'
                 }
             }
         }
@@ -60,7 +60,7 @@ publishing {
         }
         maven {
             name = 'GitHubPackages'
-            url = 'https://maven.pkg.github.com/UniVE-SSV/lisa'
+            url = 'https://maven.pkg.github.com/lisa-analyzer/lisa'
             credentials {
                 username = System.getenv('GITHUB_ACTOR')
                 password = System.getenv('GITHUB_TOKEN')