github / github/codeql

Ruby: ERB parse failure with trailing implicit keyword argument

Aperta
#16,006 1 commento 0 reazioni 0 assegnatari Vedi su GitHub
acknowledged bug Ruby
Lingua principale
CodeQL
Stelle
10.1k
Fork
2.1k
Merge medio
2g 15h
PR unite (30g)
141

Descrizione

The following example causes a syntax error, but it shouldn't. I think it is due to the way CodeQL interprets ERB. Instead of inserting newlines it may be better for CodeQL to insert explicit semicolons in most cases. There is not really a right way to interpret ERB, because ERB has no specification and there are many ERB interpreters each with their own flavours. We should probably emulate the most often used Rails flavour as closely as possible.

```
<% def foo bar:; end %>
<% bar = 1 %>
<%= foo bar: %>
<% print "hello" %>
```
What's happening is roughly, that the above gets parsed as follows (this is also invalid according to the real Ruby interpreter)
```
def foo bar:; end
bar = 1
foo bar:
print "hello"
```
instead of as (note the extra `;`)
```
def foo bar:; end
bar = 1
foo bar: ;
print "hello"
```

The ERB interpreter of Rails usually inserts `;` symbols between tags, but sometimes it inserts a newline (to make using blocks easier). CodeQL instead always inserts a newline. This difference is hardly ever a problem because Ruby treats newlines as implicit `;` symbols in almost all cases. The trouble is the "almost", there are a few corner cases, and newlines after a keyword argument are one of them.

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

Partite dall’esempio ERB di questa issue e confrontate il Ruby generato da CodeQL con il comportamento di Rails ERB descritto. Analizzate come vengono separati i tag ERB quando è presente un argomento con parola chiave finale, quindi verificate che l’esempio venga analizzato come previsto senza compromettere la gestione dei caratteri di nuova riga relativa ai blocchi. Il lavoro è completato quando l’esempio segnalato viene accettato e i test di parsing pertinenti coprono questo comportamento.

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

Valutazione

Stack tecnologico
ruby
Ambito
compilers, devtools
Tipo di issue
Bug
Difficoltà
5/5
Tempo stimato
Più di una settimana
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
25/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.