{"id":20910105,"url":"https://github.com/viperproject/silver-sif-extension","last_synced_at":"2025-12-28T22:33:18.946Z","repository":{"id":103042225,"uuid":"252205528","full_name":"viperproject/silver-sif-extension","owner":"viperproject","description":"Extension of the Viper language with modular product programs and information flow specifications","archived":false,"fork":false,"pushed_at":"2025-03-11T13:38:52.000Z","size":304,"stargazers_count":1,"open_issues_count":2,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-11T13:44:16.999Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/viperproject.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","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}},"created_at":"2020-04-01T14:54:43.000Z","updated_at":"2025-02-06T17:28:20.000Z","dependencies_parsed_at":null,"dependency_job_id":"912c8b42-b562-442e-be76-acf874179f62","html_url":"https://github.com/viperproject/silver-sif-extension","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fsilver-sif-extension","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fsilver-sif-extension/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fsilver-sif-extension/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fsilver-sif-extension/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/viperproject","download_url":"https://codeload.github.com/viperproject/silver-sif-extension/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243302387,"owners_count":20269499,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":"2024-11-18T14:13:55.022Z","updated_at":"2025-12-28T22:33:18.898Z","avatar_url":"https://github.com/viperproject.png","language":"Scala","funding_links":[],"categories":["Verifiers"],"sub_categories":[],"readme":"This repository contains an extension of the Viper language with modular product programs and information flow specifications according to [this paper](http://pm.inf.ethz.ch/publications/getpdf.php?bibname=Own\u0026id=EilersMuellerHitz18.pdf).\n\nIn particular, this means\n- Viper AST node extensions for information flow specifications (SIFLowExp, SIFLowEvent, SIFDeclassifyStmt) in SifAstExtensions.scala\n- additional control flow structures for the Viper AST (e.g., try/catch, raise, return, break) to replace goto statements in SifAstExtensions.scala\n- additional Viper verification error types in SifError.scala\n- a transformation from an extended Viper AST to its product version in the ordinary Viper AST, including some optimizations, in SifExtendedTransformer.scala\n\nCode for extracting counterexamples from product programs in conjunction with the Silicon backend can be found [here](https://github.com/viperproject/silicon-sif-extension).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fviperproject%2Fsilver-sif-extension","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fviperproject%2Fsilver-sif-extension","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fviperproject%2Fsilver-sif-extension/lists"}