facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.87k stars 2k forks source link

What are the reasons for AST Language (AL) removal #1325

Open XVilka opened 3 years ago

XVilka commented 3 years ago

It seems the only competitor for CodeQL language and potentially allowing very flexible analysis queries. Thus I am curious what are the reasons for deprecating it.

ddino commented 3 years ago

Are you using AL in some project?

XVilka commented 3 years ago

@ddino I was curious about it in the scope of this suggestion https://github.com/BinaryAnalysisPlatform/bap/issues/995