Results of discussion from 6-23-meeting

Web Pages
- update
- include Santos gif

GLOBAL
- configuration management
- running under windows
      - ask Gerard to produce win32 binaries
- techniques for libraries native methods 

JJJC
[*] decompiler after slicing
      - goal: end of July
[-] decompiler after type inference
      - goal: middle of August

BUI (in order of priority)
[*] regression test mechanism fully implemented
[*] counter-examples
     - step over/into
     - run until true condition
     - run until watch variable changes
[*] names of incorporated checkers
[*] checking of incorrect action sequences
- window manager
- redesign of icons
- show source code
- deadlocks: lock holding graph
- something analogous to message sequence chart (high-level visualization)
- trace through "property automaton"
   This automata could be shown in a 
   separate window along with the program state and users would see
   it change as the counter-example was navigated.  We could imagine 
   specializing such displays for 
     - safety (unrecoverable violation state is in red)
     - liveness (error cycle is in red)
  
   One could even allow people to step/search forward until the next 
   automaton transition occurs (as an alternative to just stepping based
   on the program behavior). 

BSL
- interaction with inliner and local packing
    - dealing with duplication due to inlining, returns problem
- extensions for pattern matching on arguments
- html extraction finalized 

BOFA (in order of priority)
- concurrency handled
- integration with slicer
- integration with inliner
- hooked into tools
- simple visualization
- visualization of heap structure


Session/configuration
- ABPS options
- BIR constants/bounds
- More detailed error description (info from BIR)

Slicer
- PDG Visualization
- stand alone mode
- slicing-based tool support for picking/refining abstractions

Inliner
[*] fix annotations
[*] inliner extended to handle interfaces and inheritance
- optimized by BOFA
- decoupled from ABPS (after ABPS?)

ABPS
[*] picking abstractions
[*] choosing methods to process
[*] defaults for abstractions
 e.g. Integer => point
      Object => object abstraction
[*] abstraction of predicates
- visualize results of type inference
  - per variable
  - colored code
- incremental type inference
- arrays
- simple objects

Environment generation
- incorporate into Bandera

BIRC
- integration problems