Another question: is this topic related in any way to the (missing) topic on https://wiki.eclipse.org/EMFIncQuery/UserDocumentation/API/Advanced#Extracting_reachability_paths_from_transitive_closure?
On 1 Sep 2015 at 11:37:54, István Ráth (rath@xxxxxxxxxx) wrote:
This is very cool, thanks for the update!
Would you like to do a demo again on the MPS feature at one of the
meetings?
cheers
Istvan
On 31 Aug 2015 at
23:02:52, Tamás Szabó (tamas.szabo@xxxxxxxxx)
wrote:
Hi all,
I have some good news. After discussions with Gaben, I think I
have
successfully migrated to the new IQ API in MPS-IncQuery and
fixed
hopefully all the bugs.
This has enabled me to attempt to implement a long standing item
from
our wish list, which is incremental points-to analysis in
mbeddr.
For those interested there is a paper
http://dl.acm.org/citation.cfm?id=1069785 which explains the
basics
quite well (it is enough to just take a look at Fig 1 and 2 for the
idea).
I have extended this algorithm to be a flow-sensitive one (I omit
the
details here), which is a great thing because it makes the analysis
more
precise. This required not only to implement the mentioned
algorithm
from the paper but to also model the entire control flow graph of
the
mbeddr C code with graph patterns (basically a before relation
between
statements which respects loops, ifs, etc).
So far, this may only be interesting for the mbeddr team, but I
think
the implementation is one of the most complicated case studies of
IncQuery.
Some additional comments:
* This is still work in progress, I will try to validate the
results so
that they match the ones produced by our "original
non-incremental"
algorithm in mbeddr. Manual inspection so far seemed to be
good.
* It would be great if somebody could give me a "code review" for
the
patterns to clear out any potential performance bottlenecks.
* Once these are done, I will evaluate the performance on our
Smart
Meter commercial project.
Cheers,
Tomi
--
Tamás Szabó
Software Engineer
Tel.: +49 711 342 191 0
Fax.: +49 711 342 191 29
Mobil: +49 171 565 416 9
Web: www.itemis.de
Mail: tamas.szabo@xxxxxxxxx
Skype: szabta89
LinkedIn: de.linkedin.com/pub/tamas-szabo/51/610/a12/
itemis AG
Niederlassung Süd
Industriestrasse 6.
70565 Stuttgart
Rechtlicher Hinweis:
Registergericht: Amtsgericht Dortmund HRB 20621 | Sitz der
Gesellschaft:
Lünen
Vorstand: Jens Wagener (Vorsitzender) | Wolfgang Neuhaus | Dr.
Georg
Pietrek | Jens Trompeter | Sebastian Neus
Aufsichtsrat: Prof. Dr. Burkhard Igel (Vorsitzender) | Stephan
Grollmann
| Michael Neuhaus
_______________________________________________
incquery-dev mailing list
incquery-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or
unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/incquery-dev
--
István Ráth
Research Fellow
Fault
Tolerant Systems Research Group
Budapest
University of Technology and Economics
http://inf.mit.bme.hu/en/members/rath
rath@xxxxxxxxxx
--
István Ráth
Research Fellow Fault Tolerant Systems Research Group Budapest University of Technology and Economics http://inf.mit.bme.hu/en/members/rath rath@xxxxxxxxxx |
