{"id":25777065,"url":"https://github.com/lisa-analyzer/lisa","last_synced_at":"2026-01-18T06:26:05.458Z","repository":{"id":40247953,"uuid":"297589894","full_name":"lisa-analyzer/lisa","owner":"lisa-analyzer","description":"📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis","archived":false,"fork":false,"pushed_at":"2026-01-16T17:34:49.000Z","size":11090,"stargazers_count":67,"open_issues_count":31,"forks_count":35,"subscribers_count":6,"default_branch":"master","last_synced_at":"2026-01-17T00:59:29.331Z","etag":null,"topics":["abstract-interpretation","analysis","analyzer","cybersecurity","formal-methods","java","lisa","program-verification","static-analysis","static-analyzer","static-analyzers"],"latest_commit_sha":null,"homepage":"https://lisa-analyzer.github.io/","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/lisa-analyzer.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":".github/CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2020-09-22T08:49:10.000Z","updated_at":"2025-12-21T08:23:50.000Z","dependencies_parsed_at":"2024-01-17T14:21:21.410Z","dependency_job_id":"2a092fee-b768-4dcc-a7c6-9918333e58b3","html_url":"https://github.com/lisa-analyzer/lisa","commit_stats":null,"previous_names":[],"tags_count":15,"template":false,"template_full_name":null,"purl":"pkg:github/lisa-analyzer/lisa","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lisa-analyzer%2Flisa","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lisa-analyzer%2Flisa/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lisa-analyzer%2Flisa/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lisa-analyzer%2Flisa/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lisa-analyzer","download_url":"https://codeload.github.com/lisa-analyzer/lisa/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lisa-analyzer%2Flisa/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28531995,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-18T00:39:45.795Z","status":"online","status_checked_at":"2026-01-18T02:00:07.578Z","response_time":98,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["abstract-interpretation","analysis","analyzer","cybersecurity","formal-methods","java","lisa","program-verification","static-analysis","static-analyzer","static-analyzers"],"created_at":"2025-02-27T06:01:35.856Z","updated_at":"2026-01-18T06:26:05.438Z","avatar_url":"https://github.com/lisa-analyzer.png","language":"Java","funding_links":[],"categories":["静态分析"],"sub_categories":[],"readme":"\u003cimg src=\"logo.png\" alt=\"logo\" width=\"300\"/\u003e\n\n---\n\n![GitHub](https://img.shields.io/github/license/lisa-analyzer/lisa?color=brightgreen)\n![GitHub Workflow Status (branch)](https://img.shields.io/github/actions/workflow/status/lisa-analyzer/lisa/gradle-master.yml?branch=master)\n![GitHub release (latest)](https://img.shields.io/github/v/release/lisa-analyzer/lisa?display_name=release\u0026color=brightgreen)\n![GitHub last commit](https://img.shields.io/github/last-commit/lisa-analyzer/lisa)\n[![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)\n[![Javadoc.io](https://javadoc.io/badge2/io.github.lisa-analyzer/lisa-sdk/javadoc.svg)](https://javadoc.io/doc/io.github.lisa-analyzer/lisa-sdk)\n\nLiSA (Library for Static Analysis) aims to ease the creation and implementation of static analyzers based on the Abstract Interpretation theory.\nLiSA 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 \nfor analyzing such representation, providing a unique analysis infrastructure for all the analyzers that will rely on it.\n\nBuilding an analyzer upon LiSA boils down to writing a parser for the language that one aims to analyze, translating the source code or the compiled code towards \nthe 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 \nsemantic information into warnings that can be of value for the final user. \n\nFor more information, documentation and useful guides, refer to the [project website](https://lisa-analyzer.github.io/)!\n\n## Contributing \n\nLiSA is developed and maintained by the [Software and System Verification (SSV)](https://ssv.dais.unive.it/) group @ Università Ca' Foscari in Venice, Italy. \nExternal contributions are always welcome! Check out our [contributing guidelines](./CONTRIBUTING.md) for information on how to contribute to LiSA.\n\n## Releases\n\nHead to the [Releases](https://github.com/lisa-analyzer/lisa/releases) page for the full list of releases. \n\n### Snapshots\n\nThe 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). Be aware that you will need a personal access token to use packages as server for resolving dependencies. You can refer to the official GitHub guide for [Maven](https://docs.github.com/en/packages/working-with-a-github-packages-registry/working-with-the-apache-maven-registry#authenticating-to-github-packages) or [Gradle](https://docs.github.com/en/packages/working-with-a-github-packages-registry/working-with-the-gradle-registry#authenticating-to-github-packages) for more information.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flisa-analyzer%2Flisa","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flisa-analyzer%2Flisa","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flisa-analyzer%2Flisa/lists"}