Facebook’s New AL Language Aims to Simplify Static Program Analysis

Facebook’s New AL Language Aims to Simplify Static Program Analysis

http://ift.tt/2r7zqYV

AL is a simple, declarative language for reasoning about abstract syntax trees that allows to extend Facebook Infer static analyzer.

By Sergio De Simone

java

via InfoQ http://www.infoq.com

May 27, 2017 at 07:06PM

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s