Skip to content

Static analysis tools for EPICS

Notifications You must be signed in to change notification settings

uwplse/epics-tools

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

26 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

EPICS Static Analysis Tools

Build Status

This repository hosts a linter and symbolic interpreter for EPICS applications.

To get started, run

$ make

The Makefile first checks to ensure that you have installed all necessary prerequisites. If that step fails, you may need to install the missing software. If you need to circumvent the checks, run touch check.ok and then try again.

The compiled tools are placed in a new folder called build. For information on usage, run make doc and consult doc/symbolic-interpreter.pdf.