CIFASIS / CIFASIS/QuickFuzz

BNFC backend ignoring token definitions

Aperta
#73 1 commento 0 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Haskell
Stelle
196
Fork
39
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

The BNFC backend is (predictably) ignoring any BNFC token definition since they only get encoded into the Alex source file and QuickFuzz just ends up using the `Arbitrary` instance of `String`.

For instance, given the following BNFC grammar:

Program. Exp ::= CIdent ;

token CIdent (lower (lower | digit | '_')*) ;

Produces the following non-printable gibberish:

�(2

Is it possible to be smarter about this?

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Direzione di ricerca

Inizia tracciando l’output del backend BNFC fino al file sorgente Alex generato e confrontalo con l’uso da parte di QuickFuzz dell’istanza Arbitrary di String. Riproduci l’esempio di grammatica CIdent e verifica come vengono rappresentate o perse le definizioni dei token. Il lavoro è completato quando i casi di fuzz generati rispettano la definizione del token dichiarata invece di produrre dati stringa non vincolati.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
haskell
Ambito
compilers
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Da chiarire
Idoneità per principianti
25/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.