diff --git a/.github/release-drafter-config.yml b/.github/release-drafter-config.yml index bb7531d79..19f2a7cf6 100644 --- a/.github/release-drafter-config.yml +++ b/.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 diff --git a/.github/workflows/broken-links.yml b/.github/workflows/broken-links.yml index 2b753952a..a62754ed4 100644 --- a/.github/workflows/broken-links.yml +++ b/.github/workflows/broken-links.yml @@ -12,5 +12,5 @@ jobs: - name: Check links with linkcheck uses: filiph/linkcheck@v2.0.15+1 with: - arguments: https://unive-ssv.github.io/lisa/ + arguments: https://lisa-analyzer.github.io/ diff --git a/.github/workflows/cron-scheduler.yml b/.github/workflows/cron-scheduler.yml index 127b61447..056bddb40 100644 --- a/.github/workflows/cron-scheduler.yml +++ b/.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 diff --git a/.github/workflows/gradle-master.yml b/.github/workflows/gradle-master.yml index 4dcb74aa7..cc971a242 100644 --- a/.github/workflows/gradle-master.yml +++ b/.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' diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 80aaa7a61..e1c58ec6f 100644 --- a/CONTRIBUTING.md +++ b/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 diff --git a/LICENSE b/LICENSE index 4c2e89366..d4dfa8152 100644 --- a/LICENSE +++ b/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 diff --git a/README.md b/README.md index 3b16e4385..3e2add464 100644 --- a/README.md +++ b/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 diff --git a/lisa/lisa-sdk/src/test/java/it/unive/lisa/interprocedural/callgraph/CallRegisteringTest.java b/lisa/lisa-sdk/src/test/java/it/unive/lisa/interprocedural/callgraph/CallRegisteringTest.java index 380d584d2..89c9e6762 100644 --- a/lisa/lisa-sdk/src/test/java/it/unive/lisa/interprocedural/callgraph/CallRegisteringTest.java +++ b/lisa/lisa-sdk/src/test/java/it/unive/lisa/interprocedural/callgraph/CallRegisteringTest.java @@ -29,7 +29,7 @@ public class CallRegisteringTest { /** - * @see #145 + * @see #145 */ @Test public void issue145() throws CallResolutionException, ProgramValidationException, CallGraphConstructionException { diff --git a/lisa/publishing.gradle b/lisa/publishing.gradle index f72b48b1d..1c571f514 100644 --- a/lisa/publishing.gradle +++ b/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')