Study Journey
Personal insights from my studies
Apr 24, 2024 005 Traverse Control flow graph LLVM Apr 24, 2024 004 Change Instructions (obfuscation) LLVM Apr 24, 2024 003 Insert function calls LLVM Apr 24, 2024 002 Count the number of instructions and function calls LLVM Apr 24, 2024 001 Iterating Module, Function, and Basicblock with LLVM LLVM Apr 24, 2024 000 An Introduction to LLVM LLVM Apr 24, 2024 000 An Introduction to LLVM(KOR) LLVM Jul 12, 2020 Lazy Evaluation Lazy Evaluation: 지연 계산법 (느긋한 계산법) 지연 계산법 (Lazy evaluation)은 표현식 (Expression)의 계산을 바로 하지 않고 (지연, Lazy), 파일 출력, 화면 출력 등 실제로 표현식에 대한 값이 필요할 때 계산하는 방법이다. 이와 반대대는... Feb 8, 2020 Program Synthesis 프로그램 합성 (Program synthesis)는 논리식으로 표현된 명세를 만족하는 프로그램을 생성하는 자동 생성 기법이다. 개요 많은 기술의 발전에도 불구하고, 아직까지 프로그래머들은 손으로 직접 코드를 작성해야만 한다. 비록 프로그래밍 언어들이 user-friendly하게 발...