Closed endeav0r closed 6 years ago
Use lessons learned in Raptor, and convert indices for data-flow analysis from RefProgramLocation to ProgramLocation.
Also, removing Abstract Interpretation from Falcon. This belongs in Raptor.
Coverage decreased (-0.5%) to 35.943% when pulling 6f2c2ae91b995ab697a994cea53e5c7091df3009 on faster-analysis into 32849e4b97c7545a1ad0706d00d1761522e29d4e on master.
Use lessons learned in Raptor, and convert indices for data-flow analysis from RefProgramLocation to ProgramLocation.
Also, removing Abstract Interpretation from Falcon. This belongs in Raptor.