Some analyzer documentation