DeCART

DeCART (Deterministic Core Analysis based on Ray Tracing).