Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 1개 있습니다.)

ilasm.exe 컴파일 오류 - error : syntax error at token '-' in ... -inf

간단하게 다음의 예제 코드를,

Console.WriteLine(GetResult());

double GetResult()
{
    return double.NegativeInfinity;
}

빌드해 생성한 DLL을 ildasm.exe로 IL 코드로 변경합니다.

C:\temp\ConsoleApp1\ConsoleApp1\bin\Debug\net7.0> ildasm ConsoleApp1.dll /out=test.il

그리고 이렇게 생성한 IL 코드를 다시 컴파일하면,

C:\temp\ConsoleApp1\ConsoleApp1\bin\Debug\net7.0> 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 --> 'test.dll'
Source file is ANSI

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

***** FAILURE *****

오류를 재현할 수 있습니다. 오류의 원인은, GetResult 메서드에서 사용한 double.NegativeInfinity 상수가 IL 코드로는 -inf로 번역되었기 때문인데요,

.method assembly hidebysig static float64 
        '<<Main>$>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::'<<Main>$>g__GetResult|0_0'

어째서 ildasm.exe가 그렇게 번역한 것인지는 모르겠지만 어쨌든 ilasm.exe에는 그것이 아직 반영되지 않아 -inf 토큰을 해석할 수 없었던 것입니다. 이에 대해 검색해 보면,

error : syntax error at token '-' in: IL_002d: ldc.r8 -nan(ind) with "return Double.NaN
; https://github.com/3F/DllExport/issues/158

ILDasm.exe regression with infinum floating point values in .NET Framework 4.8 SDK
; https://developercommunity.visualstudio.com/t/ildasmexe-regression-with-infinum-floating-point-v/545431

답이 나오는데요, 각각 다음의 표현으로 수정하는 것으로 어셈블이 가능해집니다.

ldc.r4 inf
 ==> ldc.r4 (00 00 80 7F)

ldc.r4 -inf
 ==> ldc.r4 (00 00 80 FF)

ldc.r8 inf
 ==> ldc.r8 (00 00 00 00 00 00 F0 7F)

ldc.r8 -inf
 ==> ldc.r8 (00 00 00 00 00 00 F0 FF)

그러니까, 제가 사용한 코드의 경우 이렇게 바꿔주면 되는 것입니다.

.method assembly hidebysig static float64 
        '<<Main>$>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::'<<Main>$>g__GetResult|0_0'

이후 ilasm.exe로 컴파일하고, 그 결과를 dnSpy 등의 도구로 보면 double.NegativeInfinity로 나옵니다.

[CompilerGenerated]
internal static double <<Main>$>g__GetResult|0_0()
{
    return double.NegativeInfinity;
}

재미있는 건, (ildasm.exe와는 달리) 위의 코드를 dnSpy의 "IL" 보기로 전환하면 "IL_0001: ldc.r8 (00 00 00 00 00 00 F0 FF)" 코드가 나옵니다. (또한, 최신 버전의 ildasm을 사용해도 바이트 배열 코드가 나옵니다.)




한 예로, 근래의 "Oracle.ManagedDataAccess.dll"을 (pdb 디버깅을 위해) 역어셈블하면 -inf 예외가 발생하는데요, 이 문제를 위와 같은 방법으로 수정하거나 아니면 .NET Core/5+에 포함된 ildasm.exe를 써도 됩니다.




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 12/6/2023]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 




1  2  3  [4]  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13879정성태2/5/20255279오류 유형: 946. Ubuntu - N: Updating from such a repository can't be done securely, and is therefore disabled by default.
13878정성태2/3/20255244오류 유형: 945. Windows - 최대 절전 모드 시 DRIVER_POWER_STATE_FAILURE 발생 (pacer.sys)
13877정성태1/25/20254481닷넷: 2315. C# - PCI 장치 열거 (레지스트리, SetupAPI)파일 다운로드1
13876정성태1/25/20255522닷넷: 2314. C# - ProcessStartInfo 타입의 Arguments와 ArgumentList파일 다운로드1
13875정성태1/24/20254108스크립트: 69. 파이썬 - multiprocessing 패키지의 spawn 모드로 동작하는 uvicorn의 workers
13874정성태1/24/20255321스크립트: 68. 파이썬 - multiprocessing Pool의 기본 프로세스 시작 모드(spawn, fork)
13873정성태1/23/20253944디버깅 기술: 217. WinDbg - PCI 장치 열거파일 다운로드1
13872정성태1/23/20253555오류 유형: 944. WinDbg - 원격 커널 디버깅이 연결은 되지만 Break (Ctrl + Break) 키를 눌러도 멈추지 않는 현상
13871정성태1/22/20254051Windows: 278. Windows - 윈도우를 다른 모니터 화면으로 이동시키는 단축키 (Window + Shift + 화살표)
13870정성태1/18/20254924개발 환경 구성: 741. WinDbg - 네트워크 커널 디버깅이 가능한 NIC 카드 지원 확대
13869정성태1/18/20254256개발 환경 구성: 740. WinDbg - _NT_SYMBOL_PATH 환경 변수에 설정한 경로로 심벌 파일을 다운로드하지 않는 경우
13868정성태1/17/20253893Windows: 277. Hyper-V - Windows 11 VM의 Enhanced Session 모드로 로그인을 할 수 없는 문제
13867정성태1/17/20255395오류 유형: 943. Hyper-V에 Windows 11 설치 시 "This PC doesn't currently meet Windows 11 system requirements" 오류
13866정성태1/16/20255612개발 환경 구성: 739. Windows 10부터 바뀐 device driver 서명 방법
13865정성태1/15/20255168오류 유형: 942. C# - .NET Framework 4.5.2 이하의 버전에서 HttpWebRequest로 https 호출 시 "System.Net.WebException" 예외 발생
13864정성태1/15/20255162Linux: 114. eBPF를 위해 필요한 SELinux 보안 정책
13863정성태1/14/20254075Linux: 113. Linux - 프로세스를 위한 전용 SELinux 보안 문맥 지정
13862정성태1/13/20254585Linux: 112. Linux - 데몬을 위한 SELinux 보안 정책 설정
13861정성태1/11/20254691Windows: 276. 명령행에서 원격 서비스를 동기/비동기로 시작/중지
13860정성태1/10/20254355디버깅 기술: 216. WinDbg - 2가지 유형의 식 평가 방법(MASM, C++)
13859정성태1/9/20255127디버깅 기술: 215. Windbg - syscall 이후 실행되는 KiSystemCall64 함수 및 SSDT 디버깅
13858정성태1/8/20255120개발 환경 구성: 738. PowerShell - 원격 호출 시 "powershell.exe"가 아닌 "pwsh.exe" 환경으로 명령어를 실행하는 방법
13857정성태1/7/20255403C/C++: 187. Golang - 콘솔 응용 프로그램을 Linux 데몬 서비스를 지원하도록 변경파일 다운로드1
13856정성태1/6/20254315디버깅 기술: 214. Windbg - syscall 단계까지의 Win32 API 호출 (예: Sleep)
13855정성태12/28/20245960오류 유형: 941. Golang - os.StartProcess() 사용 시 오류 정리
13854정성태12/27/20245852C/C++: 186. Golang - 콘솔 응용 프로그램을 NT 서비스를 지원하도록 변경파일 다운로드1
1  2  3  [4]  5  6  7  8  9  10  11  12  13  14  15  ...