https://github.com/viperproject/arp-plugin
Plugin for Silver implementing Abstract Read Permissions.
https://github.com/viperproject/arp-plugin
Last synced: 12 months ago
JSON representation
Plugin for Silver implementing Abstract Read Permissions.
- Host: GitHub
- URL: https://github.com/viperproject/arp-plugin
- Owner: viperproject
- License: mpl-2.0
- Created: 2020-03-20T12:16:41.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-05-22T15:37:52.000Z (about 6 years ago)
- Last Synced: 2025-01-19T15:23:40.878Z (over 1 year ago)
- Language: Scala
- Size: 1.53 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# ARP Plugin for Silver
Plugin to add Abstract Read Permissions support to Silver.
Adds support for read permission `rd`, counting permission `rdc(n)` for integer `n`,
wildcard permission `rdw` and token permission `rd_token(tk)` and `rd_token_fresh(tk)`
for some reference `tk`.
Read permission used in predicates is denoted as `rd_global`. In predicates the normal
`rd` qualifier can be used.
To use the plugin it has to be on the Java classpath. When invoking the back end
`--plugin viper.silver.plugin.ARPPlugin` has to be specified.