https://github.com/xlauko/lart-runtime

LART Runtime Support Library
https://github.com/xlauko/lart-runtime

abstract-interpretation c c-plus-plus clang llvm sanitizer verification

Last synced: 20 days ago
JSON representation

LART Runtime Support Library

• Host: GitHub
• URL: https://github.com/xlauko/lart-runtime
• Owner: xlauko
• License: mit
• Created: 2020-05-11T20:50:24.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-05-26T21:47:27.000Z (over 4 years ago)
• Last Synced: 2024-11-15T09:51:48.328Z (3 months ago)
• Topics: abstract-interpretation, c, c-plus-plus, clang, llvm, sanitizer, verification
• Language: C++
• Homepage:
• Size: 74.2 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 16
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# LART Runtime Support Library

[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)

[![Release Build](https://github.com/xlauko/lart-runtime/workflows/C/C++%20CI/badge.svg)](https://github.com/xlauko/lart-runtime/actions)

[![Unit Tests](https://travis-ci.com/xlauko/lart-runtime.svg?token=xFVPqiiHBDQzM2ZUCmj6&branch=master)](https://travis-ci.com/xlauko/lart-runtime)