• LOGIN
    Login with username and password
Repository logo

BORIS Portal

Bern Open Repository and Information System

  • Publications
  • Theses
  • Research Data
  • Projects
  • Organizations
  • Researchers
  • More
  • Collections
  • Statistics
  • LOGIN
    Login with username and password
Repository logo
Unibern.ch
  1. Home
  2. Publications
  3. Renraku v0.15.2

Renraku v0.15.2

Details
Official URL
https://doi.org/10.5281/zenodo.800676
Publisher DOI
10.5281/zenodo.800676
Abstract
Renraku is an extensible static analysis model designed to connect analyzers and tools conveniently. It defines how algorithms should provide external properties of source code, and how tools should consume these properties. Not only the unique model lifts the complexity burden from static analysis engineering but opens entirely new horizons unseen by the others.
Date Issued
2017-05
Publication Type
Other
Subject(s)
000 Computer science, knowledge & systems
500 Science > 510 Mathematics
Language(s)
en
Author(s)
Tymchuk, Yuriy  
Institut für Informatik (INF)  
Additional Credits
Institut für Informatik (INF)  
Access(Rights)
metadata.only
Show full item
BORIS Portal
Bern Open Repository and Information System
Build: c618d0 [ 2.10. 13:10]
Explore
  • Projects
  • Funding
  • Publications
  • Research Data
  • Organizations
  • Researchers
  • Audiovisual Material
  • Software & other digital items
  • Events
More
  • About BORIS Portal
  • BORIS Portal & Open Science
  • Send Feedback
  • Cookie settings
  • Service Policy
Follow us on
  • Mastodon
  • YouTube
  • LinkedIn
UniBe logo
Repository logo COAR Notify