JavaCOP: Pluggable type system for Java

About JavaCOP

Files:

To develop pluggable type systems and type check Java programs with JavaCOP, you will need the JavaCOP jar file. You might also want to download the JavaCOP Rule Examples. The tutorial provides more detailed information on how to use the various components of JavaCOP.

• JavaCOP jar file (JavaCop.jar) - contains all source and class files for the JavaCOP parser, compiler, runtime instrumentation framework, and unit test framework.
  
  
• JavaCOP scripts - platform-independent* scripts for running components of JavaCOP
  *(known to work with Linux, Mac OS X, and Cygwin)
  
  
• JavaCOP Rule Examples - a suite of JavaCOP rule examples including flow-sensitive versions of Nonnull and Unique reference type systems, a flow-insensitive Confined type system, and a Polyglot usage verifier.
  
  

Documentation:

• Tutorial on writing JavaCOP rules and checking Java programs (Work in progress)
  
  
• Useful documents for writing JavaCOP rules
  
  
  • Quick Reference guide for a selection of Tree AST Nodes
    
    
  • JavaCOP Function API
    
    
  • Publications and Earlier Work
  
  
• READMEs for JavaCOP components
  
  
  • README for JavaCOP Compiler - typechecks Java files with user-specified JavaCOP pluggable type system classes and compiles them if there are no erros. The compiler is a modified version of the OpenJDK, so the outputted class files is fully compatible with Java standards.
    
    
  • README for JavaCOP Rule Parser - parses JavaCOP rule files into class files compatible with the JavaCOP compiler.
    
    
  • README for the JavaCOP Unit Test Framework and Runtime Instrumenter - a Java agent that allows for on-the-fly instrumenting of classes via ASM class adapters and the JavaCOP rule unit test framework.
    
    
  • README for JavaCOP Runtime Instrumentation Generator - an annotation processing factory framework which generates ASM class adapters for use with the JavaCOP Runtime Instrumenter based on a runtime test methods class.
    
    

Contact Info:

• JavaCOP Mailing List
  Click here to join the JavaCOP mailing list.
  
  
• Current JavaCOP Developers
  
  • Shane Markstrum
  • Dan Marino
  • Todd Millstein
  • James Noble
  
  
• Past JavaCOP Developers
  
  • Chris Andreae