J & J - 정성태의 닷넷 이야기

사용자

메뉴

최근 덧글

[정성태] VT sequences to "CONOUT$" vs. STD_O...[정성태] NetCoreDbg is a managed code debugg...[정성태] Evaluating tail call elimination in...[정성태] What’s new in System.Text.Json in ....[정성태] What's new in .NET 9: Cryptography ...[정성태] 아... 제시해 주신 "https://akrzemi1.wordp...[정성태] 다시 질문을 정리할 필요가 있을 것 같습니다. 제가 본문에...[이승준] 완전히 잘못 짚었습니다. 댓글 지우고 싶네요. 검색을 해보...[정성태] 우선 답글 감사합니다. ^^ 그런데, 사실 저 예제는 (g...[이승준] 수정이 안되어서... byteArray는 BYTE* 타입입니다...

글쓰기

제목

이름

암호

전자우편

HTML

홈페이지

유형

내용

<div style='display: inline'>
<h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>ilasm.exe 컴파일 오류 - error : syntax error at token '-' in ... -inf</h1>

간단하게 다음의 예제 코드를, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
Console.WriteLine(GetResult());

double GetResult()
{
 return double.NegativeInfinity;
}
</pre>
 
빌드해 생성한 DLL을 ildasm.exe로 IL 코드로 변경합니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
C:\temp\ConsoleApp1\ConsoleApp1\bin\Debug\net7.0&gt; ildasm ConsoleApp1.dll /out=test.il
</pre>
 
그리고 이렇게 생성한 IL 코드를 다시 컴파일하면, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
C:\temp\ConsoleApp1\ConsoleApp1\bin\Debug\net7.0&gt; ilasm test.il /out=test.dll

Microsoft (R) .NET Framework IL Assembler.  Version 4.8.9105.0
Copyright (c) Microsoft Corporation.  All rights reserved.
Assembling 'test.il'  to EXE --&gt; 'test.dll'
Source file is ANSI

Assembled method Microsoft.CodeAnalysis.EmbeddedAttribute::.ctor
Assembled method System.Runtime.CompilerServices.RefSafetyRulesAttribute::.ctor
Assembled method Program::&lt;Main&gt;$
Assembled method Program::.ctor
test.il(131) : error : syntax error at token '-' in: IL_0001: ldc.r8 -inf

***** FAILURE *****
</pre>
 
오류를 재현할 수 있습니다. 오류의 원인은, GetResult 메서드에서 사용한 double.NegativeInfinity 상수가 IL 코드로는 -inf로 번역되었기 때문인데요, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
.method assembly hidebysig static float64 
 '&lt;&lt;Main&gt;$&gt;g__GetResult|0_0'() cil managed
{
 .custom instance void [System.Runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) 
 // Code size 15 (0xf)
 .maxstack 1
 .locals init (float64 V_0)
 IL_0000: nop
 IL_0001: ldc.r8 -inf
 IL_000a: stloc.0
 IL_000b: br.s IL_000d

IL_000d: ldloc.0
 IL_000e: ret
} // end of method Program::'&lt;&lt;Main&gt;$&gt;g__GetResult|0_0'
</pre>
 
어째서 ildasm.exe가 그렇게 번역한 것인지는 모르겠지만 어쨌든 ilasm.exe에는 그것이 아직 반영되지 않아 -inf 토큰을 해석할 수 없었던 것입니다. 이에 대해 검색해 보면, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
error : syntax error at token '-' in: IL_002d: ldc.r8 -nan(ind) with "return Double.NaN
; <a target='tab' href='https://github.com/3F/DllExport/issues/158'>https://github.com/3F/DllExport/issues/158</a>

ILDasm.exe regression with infinum floating point values in .NET Framework 4.8 SDK
; <a target='tab' href='https://developercommunity.visualstudio.com/t/ildasmexe-regression-with-infinum-floating-point-v/545431'>https://developercommunity.visualstudio.com/t/ildasmexe-regression-with-infinum-floating-point-v/545431</a>
</pre>
 
답이 나오는데요, 각각 다음의 표현으로 수정하는 것으로 어셈블이 가능해집니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
ldc.r4 inf
 ==&gt; ldc.r4 (00 00 80 7F)

ldc.r4 -inf
 ==&gt; ldc.r4 (00 00 80 FF)

ldc.r8 inf
 ==&gt; ldc.r8 (00 00 00 00 00 00 F0 7F)

ldc.r8 -inf
 ==&gt; ldc.r8 (00 00 00 00 00 00 F0 FF)
</pre>
 
그러니까, 제가 사용한 코드의 경우 이렇게 바꿔주면 되는 것입니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
.method assembly hidebysig static float64 
 '&lt;&lt;Main&gt;$&gt;g__GetResult|0_0'() cil managed
{
 .custom instance void [System.Runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) 
 // Code size 15 (0xf)
 .maxstack 1
 .locals init (float64 V_0)
 IL_0000: nop
 // IL_0001: ldc.r8 -inf
 IL_0001: ldc.r8 (00 00 00 00 00 00 F0 FF)
 IL_000a: stloc.0
 IL_000b: br.s IL_000d

IL_000d: ldloc.0
 IL_000e: ret
} // end of method Program::'&lt;&lt;Main&gt;$&gt;g__GetResult|0_0'
</pre>
 
이후 ilasm.exe로 컴파일하고, 그 결과를 dnSpy 등의 도구로 보면 double.NegativeInfinity로 나옵니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
[CompilerGenerated]
internal static double &lt;&lt;Main&gt;$&gt;g__GetResult|0_0()
{
 return double.NegativeInfinity;
}
</pre>
 
재미있는 건, (ildasm.exe와는 달리) 위의 코드를 dnSpy의 "IL" 보기로 전환하면 "IL_0001: ldc.r8 (00 00 00 00 00 00 F0 FF)" 코드가 나옵니다. (또한, <a target='tab' href='https://www.sysnet.pe.kr/2/0/13263#neg_inf'>최신 버전의 ildasm을 사용해도 바이트 배열 코드</a>가 나옵니다.) 
 
<hr style='width: 50%' /> 
 
한 예로, 근래의 "Oracle.ManagedDataAccess.dll"을 (<a target='tab' href='https://www.sysnet.pe.kr/2/0/12281'>pdb 디버깅을 위해</a>) 역어셈블하면 -inf 예외가 발생하는데요, 이 문제를 위와 같은 방법으로 수정하거나 아니면 <a target='tab' href='https://www.sysnet.pe.kr/2/0/13263'>.NET Core/5+에 포함된 ildasm.exe</a>를 써도 됩니다.

<hr />[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

</div>

첨부파일

스팸 방지용 인증 번호

9890 (왼쪽의 숫자를 입력해야 합니다.)