k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Need more error patterns to build K-lint

From: Yilong Li <yli147 AT illinois.edu>
To: k-user AT cs.uiuc.edu
Subject: [K-user] Need more error patterns to build K-lint
Date: Sat, 13 Apr 2013 02:50:37 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi all,

I am working on my final project of CS522 which is the K-lint tool:
http://k-framework.org/index.php/ProjectIdeas#Static_analysis_tools_for_K

To make the tool more useful, I need more error patterns beside
those mentioned in the above link. Can someone provide me
more examples?

Thanks a lot,
Yilong

[K-user] Need more error patterns to build K-lint, Yilong Li, 04/13/2013
- Re: [K-user] Need more error patterns to build K-lint, Rosu, Grigore, 04/13/2013