Hybrid Analysis Tools For Computer Systems Education