https://github.com/michaelmior/daikon-json

https://github.com/michaelmior/daikon-json

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/michaelmior/daikon-json
• Owner: michaelmior
• License: other
• Created: 2023-08-11T18:48:24.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-10-09T23:30:59.000Z (7 months ago)
• Last Synced: 2024-12-31T12:47:22.631Z (4 months ago)
• Language: Python
• Size: 8.75 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Daikon JSON

[![CI](https://github.com/michaelmior/daikon-json/actions/workflows/ci.yml/badge.svg)](https://github.com/michaelmior/daikon-json/actions/workflows/ci.yml)

This repository implements a JSON front end for the [Daikon](https://plse.cs.washington.edu/daikon/) invariant detector.

It allows the detection of invariants across a collection of JSON documents in [JSON Lines](https://jsonlines.org/) format.

From an input JSON file, it will generate both a declarations file and a trace file that can be used as input to Daikon.

It can be run as in the following example:

    python daikon_json.py input.json input.decls input.dtrace

    java -cp daikon.jar daikon.Daikon input.decls input.dtrace