k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

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

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "Li, Yilong" <yli147 AT illinois.edu>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Cc: "k-list AT cs.uiuc.edu" <k-list AT cs.uiuc.edu>
Subject: Re: [K-user] Need more error patterns to build K-lint
Date: Sat, 13 Apr 2013 11:53:49 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Yilong,

I'm moving this discussion on the developpers' list, k-list, to make sure we do not bore the K users with technical, implementation details. If anybody on the k-user list is actually interested in those details, feel free to let us know and we will include you in this discussion.

Grigore

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of Yilong Li [yli147 AT illinois.edu]
Sent: Saturday, April 13, 2013 2:50 AM
To: k-user AT cs.uiuc.edu
Subject: [K-user] Need more error patterns to build K-lint

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