Static Value-Flow Analysis Documentation