Mam język imperatywny. Nie ważne jaki, wszystkie są w zasadzie identyczne.

Język ten słuzy do programowania w pewnej wąskiej grupie zastosowań,
gdzie używane są pewne charakterystyczne "wzorce projektowe".

Nie mają one za duzo wspólnego z wzorcami OO, ale po chwili namysłu
odpowiadam, że w zasadzie chodzi o coś bardzo podobnego w idei detekcji.
Programista patrząc w kod widzi własnie taki wzorzec.

Teraz ja chciałbym spojrzeć w kod i go dostrzec. Automatycznie.

Kod ma masę szumu. Od trywializmów typu komentarze, przez i++, ++i a
kończąc na wymianach całych bloków kodu na inne analogi. Ale to dalej
implementacja wzorca, tylko czasem nie wprost.

Na razie ostrożnie badam teren. To co udało mi się przeczytać
publikowane na przestrzeni ostatnich kilku lat (i dostepne od reki z
Googla) sprowadza się zazwyczaj do prostego mechnizmu:

1) przeparsuj i zbuduj AST
2) AST->Prolog

Prolog czasem z odatkami typu fuzzy logic. Prawie cała literatura kręci
się wokół OO design patterns w Javie.

Ale ponieważ tematu nie znam i może mam złe przykłady to:

a) Czy AST->Prolog lub inny język logiczny jest obecnie najczęstszym
rozwiązaniem? Oczywiście wliczając w to Prolog-like embedded engines.

b) Może istnieje jakiś framework który jest na tyle abstrakcyjny że nie
zależy od skladni badanego języka? Coś do badania składni ogólnie co
spełnia moje marzenia o klasyfikacji?

c) Może to się robi kompletnie inaczej?

Mam *wrażenie* że detekcja wzorców w kodzie jest powszechna w
narzedziach typu lint. Interesuje mnie chwilowo podejście akademickie.
Typu "czy to w ogóle jest mozliwe" więc nie szukam rozwiązań
produkcyjnych, ale bardziej potwierdzenia/zaprzeczenia tezy że się da.

Żeby była jasność: wyobrażam sobie takie coś:

to Fred
{
jeśli zmienna x jest int
jeśli jest uzywa w pętli
jesli zaczyna się od 0 i kończy na zmiennej y inkrementując co 2
jesli w srodku jest przynajmniej jeden break
jesli w środku nie ma continue
jesli w srodku mamy pętlę while gdzie x jest zmniejszane
}

Algorytm ma odpowiedzieć na pytanie "czy to jest Fred" po zobaczeniu
niezbędnego kawalka kodu.

Zagadnienia parsowania są nieistotne. Parser jest.