Re: [cdt-dev] static analysis

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [cdt-dev] static analysis

From: Alena Laskavaia <elaskavaia.cdt@xxxxxxxxx>
Date: Mon, 22 Jul 2013 20:13:21 -0400
Delivered-to: cdt-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/cdt-dev>
List-help: <mailto:cdt-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/cdt-dev>, <mailto:cdt-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/cdt-dev>, <mailto:cdt-dev-request@eclipse.org?subject=unsubscribe>

There is nothing recent afaik. CDT can produce control flow graph which is used by some checkers in Codan. We don't create data flow graph, but contributions are welcome.

On Tue, Jul 16, 2013 at 12:14 PM, Ayupov, Andrey <andrey.ayupov@xxxxxxxxx> wrote:

Looking for recent developments in area of static code analysis using CDT including data dependency and control flow graph? Any pointers/links are appreciated. Thanks!

_______________________________________________
cdt-dev mailing list
cdt-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/cdt-dev

Follow-Ups:
- Re: [cdt-dev] static analysis
  - From: Sergey Prigogin

References:
- [cdt-dev] static analysis
  - From: Ayupov, Andrey

Prev by Date: Re: [cdt-dev] CDT survey
Next by Date: Re: [cdt-dev] issue with ASTRewrite and assert macro
Previous by thread: [cdt-dev] static analysis
Next by thread: Re: [cdt-dev] static analysis
Index(es):
- Date
- Thread

Breadcrumbs