In one embodiment, a method includes generating an executable version of a decision tree by compiling source code into executable code and verifying the executable code by comparing a result of executing the executable code with a result of evaluating the decision tree in interpreted mode. The method further includes replacing the decision tree evaluated in the interpreted mode with the executable code if the executable code is verified or discarding the executable code otherwise.