Engineering guide

From SureLogic
Jump to: navigation, search

Java work

Information on Java 7 and 8 language extensions

For more information on Java 7 and Java 8 see:

Specifications:

Invoke Dynamic

Design (by John Boyland, note that these are historical but informative)

Setting up to hack the code

Infrastructure

Analysis and Verification

QA

C++ Work