{"id":50689417,"url":"https://github.com/se2p/sa2026","last_synced_at":"2026-06-09T01:31:08.807Z","repository":{"id":355805174,"uuid":"1217090742","full_name":"se2p/sa2026","owner":"se2p","description":"Software Analysis course repo, summer semester 2026","archived":false,"fork":false,"pushed_at":"2026-05-21T17:52:03.000Z","size":1121,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-05-22T02:49:09.333Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Jupyter Notebook","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/se2p.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"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":"2026-04-21T14:34:14.000Z","updated_at":"2026-05-21T17:52:22.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/se2p/sa2026","commit_stats":null,"previous_names":["se2p/sa2026"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/se2p/sa2026","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/se2p%2Fsa2026","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/se2p%2Fsa2026/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/se2p%2Fsa2026/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/se2p%2Fsa2026/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/se2p","download_url":"https://codeload.github.com/se2p/sa2026/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/se2p%2Fsa2026/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34088013,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-08T02:00:07.615Z","response_time":111,"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":[],"created_at":"2026-06-09T01:31:07.957Z","updated_at":"2026-06-09T01:31:08.766Z","avatar_url":"https://github.com/se2p.png","language":"Jupyter Notebook","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Software Analysis SS2026\n\nThis repository collects examples from the Software Analysis lecture in\nJupyter notebooks. \n\n## Installation\n\nPDF Exports of the notebooks will be uploaded to StudIP, and markdown\nexports are included in the repository. To run the notebooks on your own you\nwill need to install [Jupyter](https://jupyter.org/install).\n\n## Contents\n\n### 1: Initial character-based analysis\n\nThis chapter describes two very basic analyses of source code at character\nlevel, by splitting source code files into lines: The first analysis is to\ncount lines of code, and the second on is a basic code clone detection\ntechnique, capable of detecting type 1 clones.\n\n[Markdown Export](rendered/1%20Analysis%20Basics.md)\n\n### 2: On the Naturalness of Code: Token-level analysis\n\nThis chapter looks at the process of converting source code into token streams,\nand applying different types of analyses on these, such as code clone detection\nor code completion based on language models.\n\n[Markdown Export](rendered/2%20Naturalness%20of%20Code.md)\n\n### 3: Syntax-based analysis\n\nThis chapter considers syntactic information on top of the lexical\ninformation provided by the tokens. That is, it considers what language\nconstructs the tokens are used in, by looking at the abstract syntax tree.\nWe further look at how we can automatically generate parsers using Antlr,\nand then use these to translate programs and to create abstract syntax\ntrees. We also use the Abstract Syntax Trees to do some basic linting.\n\n[Markdown Export](rendered/3%20Syntax-based%20Analysis.md)\n\n\n### 4: Control-flow analysis\n\nThis chapter looks at how to extract information about the flow of control\nbetween the statements in a program, and how to represent this in the\ncontrol flow graph. The control flow graph is the foundation for further\ncontrol flow analyses, and in particular we consider dominance and\npost-dominance relations, which in turn are the foundation for control\ndependence analysis.\n\n[Markdown Export](rendered/4%20Controlflow_Analysis.md)\n\n\n### 5: Data-flow analysis (Part 1)\n\nThis chapter looks at how to track the propagation of data throughout the\ncontrol flow of the program. We consider some classical data-flow analyses\nusing an iterative analysis framework, and specifically look at how to\npropagate information about reaching definitions and reachable uses, which\nthen allows us to construct a data-dependence graph.\n\n[Markdown Export](rendered/5%20Dataflow%20Analysis.md)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fse2p%2Fsa2026","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fse2p%2Fsa2026","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fse2p%2Fsa2026/lists"}