Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 8 additions & 3 deletions src/Lua/Standard/Internal/MatchState.cs
Original file line number Diff line number Diff line change
Expand Up @@ -420,8 +420,13 @@ int ClassEnd(ReadOnlySpan<char> pattern, int pIdx)

do
{
pIdx++;
if (pIdx < pattern.Length && pattern[pIdx] == LEsc)
if (pIdx >= pattern.Length)
{
throw new LuaRuntimeException(State, "malformed pattern (missing ']')");
}

// Check the consumed character so an escaped ']' cannot end the class.
if (pattern[pIdx++] == LEsc && pIdx < pattern.Length)
{
pIdx++;
}
Expand All @@ -430,7 +435,7 @@ int ClassEnd(ReadOnlySpan<char> pattern, int pIdx)
{
throw new LuaRuntimeException(State, "malformed pattern (missing ']')");
}
} while (pIdx < pattern.Length && pattern[pIdx] != ']');
} while (pattern[pIdx] != ']');

return pIdx + 1;

Expand Down
90 changes: 90 additions & 0 deletions tests/Lua.Tests/PatternClassTests.cs
Original file line number Diff line number Diff line change
@@ -0,0 +1,90 @@
using Lua.Standard;

namespace Lua.Tests;

public class PatternClassTests
{
const string SingleElementArray = """{"SomeArray":["Alice"], "Text":"some_text"}""";
const string MultipleElementArray =
"""{"SomeArray":["Alice","Bob","Denis"], "Text":"some_text"}""";

[TestCase(SingleElementArray, "%[[^%]]*,", -1, -1)]
[TestCase(MultipleElementArray, "%[[^%]]*,", 14, 28)]
[TestCase(SingleElementArray, "[[^%]]*", 1, 0)]
[TestCase(SingleElementArray, "[^%]]*", 1, 21)]
[TestCase("[ab,c]", "%[[^%]]*,", 1, 4)]
[TestCase("abc", "[[^%]]*", 1, 0)]
[TestCase("]", "[%]]", 1, 1)]
[TestCase("]]x", "[%]]+", 1, 2)]
[TestCase("abc]", "[^%]]+", 1, 3)]
[TestCase("]", "[a%]]", 1, 1)]
[TestCase("]", "[%%%]]", 1, 1)]
[TestCase("]", "[]]", 1, 1)]
[TestCase("abc]", "[^]]+", 1, 3)]
[TestCase("[", "[[]", 1, 1)]
[TestCase("12x", "[%d]+", 1, 2)]
[TestCase("%", "[%%]", 1, 1)]
public async Task FindCharacterClass(string source, string pattern, int start, int end)
{
using var state = LuaState.Create();
state.OpenStringLibrary();

var result = await state.DoStringAsync($"return string.find('{source}', '{pattern}')");

if (start < 0)
{
Assert.That(result, Is.EqualTo(new LuaValue[] { LuaValue.Nil }));
return;
}

Assert.That(result, Is.EqualTo(new LuaValue[] { start, end }));
}

[TestCase("[%]")]
[TestCase("[^%]")]
[TestCase("[")]
[TestCase("[^")]
[TestCase("[%")]
[TestCase("[]")]
public void RejectUnterminatedCharacterClass(string pattern)
{
using var state = LuaState.Create();
state.OpenStringLibrary();

var exception = Assert.ThrowsAsync<LuaRuntimeException>(async () =>
await state.DoStringAsync($"return string.find('x]', '{pattern}')")
);

Assert.That(exception!.Message, Does.Contain("malformed pattern (missing ']')"));
}

[Test]
public async Task EscapedClosingBracketInMatchGMatchAndGSub()
{
using var state = LuaState.Create();
state.OpenStandardLibraries();

var result = await state.DoStringAsync(
"""
local s = '[ab,c]'
local p = '%[[^%]]*,'
local f = string.gmatch(s, p)
local replaced, count = string.gsub(s, p, 'X')
return string.match(s, p), f(), replaced, count
"""
);

Assert.That(result, Is.EqualTo(new LuaValue[] { "[ab,", "[ab,", "Xc]", 1 }));
}

[Test]
public async Task EscapedClosingBracketInFrontier()
{
using var state = LuaState.Create();
state.OpenStringLibrary();

var result = await state.DoStringAsync("return string.find(']a', '%f[%]]')");

Assert.That(result, Is.EqualTo(new LuaValue[] { 1, 0 }));
}
}
Loading