anonymous?

📝 제출 코드 #1 #include #include using namespace std; int main(int argc, char** argv) { int N, K; // N: 학생 수, K: 구간 수 vector arr; cin >> N >> K; arr.push_back(0); for(int i=0; i> num; arr.push_back(num); } for(int i=0; i> A >> B; float sum=0; for(int j=A; j> N >> K; sum.push_back(0); for(int i=0; i> num; sum.push_back(sum[i]+num); } for(int i=0; i> A >> B; printf("%.2f\n", (sum[B]-sum[A-1])/(B-A+1))..

PROGRAMMING/Algorithm 2024. 2. 15. 15:38

사전지식 chunk size - fast chunk: 32~128byte - small chunk: = 1024byte free된 청크를 관리하는 bin - Fastbin : 해제된 chunk가 fastbinsY에서 관리될 경우 해제된 Heap과 크기 동일하게 할당 - Unsorted bin : 해제된 chunk가 unsorted bin에서 관리되는 small, large chunk인 경우, 해제된 Heap의 크기와 같거나 작은 크기를 할당 - small bin: small chunk 관리 - large bin: large chunk 관리 풀이과정 int __fastcall __noreturn main(int argc, const char **argv, c..

SYSTEM HACKING/Dreamhack 2024. 1. 10. 21:38

풀이 1 filename를 16진수로 구하기 section .data filename db '/home/shell_basic/flag_name_is_loooooong', 0 mode dq 0 ; O_RDONLY 먼저 asm 파일에 위와 같이 filename을 적는 어셈블리 코드를 작성 nasm -f elf64 shell_basic.asm # 운영체제 elf64 지정하여 어셈블리 코드로 object 파일 생성 objcopy --dump-section .text=shell_basic.bin shell_basic.o # object 파일로 실행 파일 생성 $ objdump -D shell_basic.o shell_basic.o: file format elf64-x86-64 Disassembly of secti..

SYSTEM HACKING/Dreamhack 2024. 1. 10. 19:01

BACKGROUND Hybrid Fuzzing Fuzzing과 Concolic Execution 결합하여 프로그램 취약점 노출 극대화 퍼징이 효과적이지 않은 문제 해결 위해 사용 MOTIVATION 기존 하이브리드 퍼저는 벤치마트나 seed corpora와 같이 동등한 평가 설정에서 평가하는 경우 기존 커버리지 가이드 퍼저보다 우월하지 않음 특히, QSYM, Eclipser는 벤치마크 프로그램을 대상으로 평가하지 않음 Intriguer는 QSYM과만 비교 → 기존 하이브리드 퍼저에 대한 종합적 연구 필요 → 최초로 하이브리드 퍼저 대상으로 광범위한 연구 진행 (7개의 하이브리드 퍼저 QSYM, Angora, Eclipser, Intriguer, DigFuzz, MEUZZ, Pangolin를 벤치마크와 1..

ANALYSIS/Paper Review 2023. 10. 3. 16:27

BACKGROUND Fuzzing 무작위 입력을 생성하여 SUT(System Under Test)로 전송하는 테스트 기법 입력에 대한 SUT의 동작을 분석하여 이상 징후, 잠재적 버그 및 취약성 식별 네트워크 퍼저 네트워크 패킷을 랜덤으로 변형하여 네트워크 인터페이스의 예기치 않은 동작과 취약점 유도 네트워크 프로토콜에서는 퍼저가 상태를 인식해야 심층적 취약점을 찾을 수 있음 Multi-armed Bandit(MAB) 비문맥 강화학습 에이전트가 여러 행동 중 반복적으로 exploration 대 exploitation 문제를 고려하여 선택해야 하는 문제 에이전트는 보상을 극대화하는 것이 목표 MOTIVATION 네트워크 프로토콜에서 다음에 테스트할 상태를 결정하는 문제가 있음 퍼저는 알려진 상태와 테스트되..

ANALYSIS/Paper Review 2023. 10. 3. 15:51

BACKGROUND 딥러닝(DNN) 고차원 데이터(이미지 등)를 처리하고 예측 수행 순방향 전파, 역방향 전파와 같은 양방향 연산이 수행됨. 순방향 전파는 뉴런 활성화를 이용하여 입력을 예측하고, 역방향 전파는 레이어를 통해 출력에서 입력으로 gradient를 전파하여 예측하는 방식 딥러닝 컴파일러 DNN 모델을 입력으로 받아 CPU 및 GPU와 같은 하드웨어 아키텍처에 최적화된 DNN 실행 파일 생성 리얼월드 시나리오에서 광범위한 컴퓨팅 플랫폼에 딥러닝 기술 사용이 늘어가고 있으며, 복잡한 배포 환경을 처리하고 컴퓨팅 플랫폼을 최대한 활용하기 위해 DL 컴파일러가 유용함 아마존, 구글 등 클라우드 서비스 제공업체도 성능 향상 위해 DL 서비스에 DL 컴파일러 포함 딥러닝 실행파일에서의 OOB 순방향 전..

ANALYSIS/Paper Review 2023. 10. 3. 14:44

BACKGROUND Fuzzing 프로그램 내 취약점 발견하는데 효과적인 기술 많은 입력을 생성해서 프로그램에 입력을 주어 보안 위반을 탐지 고품질의 입력에 의존 → 고품질의 입력은 프로그램 state space를 효과적으로 탐색할 수 있고 취약점 트리거할 가능성을 높임 고품질의 입력 생성 위해 입력 포맷 중요 입력 포맷: 프로그램의 입력 바이트가 어떻게 구성되어야 하는지에 대한 것 입력 포맷으로 sanity 체크를 우회하는 입력을 생성할 수 있고, 더 깊고 복잡한 코드에 도달할 수 있음 입력 필드의 구조와 의미 입력을 처리하는 기본 블록(BB)에 의해 결정 MOTIVATION 프로그램의 효과적인 입력 생성 위해 프로그램 입력 형식 지식 중요 → 자동화된 입력 형식 리버스 엔지니어링을 통해 입력 포맷 학..

ANALYSIS/Paper Review 2023. 10. 3. 11:56

BACKGROUND Coverage-guided fuzzing 성공적인 취약점 발견 기술 중 하나 입력을 변형해가면서 코드 커버리지를 증가시켜서 소프트웨어 내 잠재적인 보안 위반을 트리거함 기존 연구는 퍼징 과정에서 커버리지를 증가시키기 위한 최적화 기술(seed selection, seed schedule, mutation, feedback)에 집중 MOTIVATION 최신 퍼저는 고정된 프로그램 옵션 조합을 사용해서만 트리거 할 수 있는 탐색되지 않은 코드가 있음 기존 퍼저는 특정 command-line 옵션을 사용하여 프로그램을 퍼징하지 않았기 때문 command-line 옵션은 프로그램의 실행을 변형할 수 있음을 알려주는 것이기 때문에, 입력을 변경하는 것이 아닌 특정 옵션으로만 도달 가능한 코드..

ANALYSIS/Paper Review 2023. 10. 3. 01:19

BACKGROUND REST API를 통해 클라우드 서비스의 잠재적 오류를 발견하는 연구 API 트래픽을 캡쳐하고 메뉴얼로 정의된 규칙으로 requst를 생성 (과거) requst 타입에 따른 의존성을 추론하고 request sequence 생성 (최근) REST API Fuzzing 클라우드 서비스 테스트하기 위해 제안됨 과정 generation 과정에서 챌린지: 어떻게 sequence 템플릿 구성할지, 어떻게 request 템플릿 내에서 request를 생성할지 request sequence를 이용한 test 과정에서 챌린지: request가 syntax와 semantic을 충족하는지 체크하고 그렇지 않으면 40x로 응답 보내는데, 클라우드 서비스의 경우 DELETE request가 오면 리소스를 삭..

ANALYSIS/Paper Review 2023. 10. 3. 00:11

문제풀이 항상 목적지에 도달하므로, BFS를 이용하여 (0,0)부터 (N,M)까지 최단 경로를 구하고, 각 좌표에 방문할 때마다 인접좌표까지 거리+1을 구한다. vector로 graph 만들었을 때는 제대로 안 구해졌는데 2차원 배열 쓰니까 잘 되었다. 결과는 마지막 좌표에서의 path를 출력해주면 된다. 제출코드 #include #include #include #include using namespace std; int dx[] = {-1, 1, 0, 0}; int dy[] = {0, 0, -1, 1}; int main(){ int N,M; //vector graph[N]; int graph[101][101]={0,}; int path[101][101]={0,}; int visited[101][101]..

PROGRAMMING/Algorithm 2023. 9. 8. 21:39

풀이과정 BFS를 이용해서 최단경로 구할 수 있음 처음 (0,0)을 시작하므로 (0,0)에 대한 방문체크와 path를 1로 추가해준다. 이후 현재 좌표에서 상(-1,0), 하(1,0), 좌(0,-1), 우(0,1)가 유효한지 체크한 후, 방문하지 않았고 벽이 아니면 방문체크 후 인접노드에서 1 간 것과 같으므로 1을 더해서 path를 구한다. 탐색이 끝난 후 마지막 좌표(n,m)에 값이 들어있지 않으면 도달할 수 없는 것이므로 -1을 리턴하고, 값이 있으면 도달할 수 있으므로 값을 리턴한다. 제출코드 #include #include #include using namespace std; int dx[] = {-1, 1, 0, 0}; int dy[] = {0, 0, -1, 1}; int path[101][1..

PROGRAMMING/Algorithm 2023. 9. 8. 20:51

제출답안 #include #include #include using namespace std; int main(int argc, char** argv) { vector num; bool same=true; for(int i=0; i> n; num.push_back(n); } vector ascending = num; vector descending = num; sort(ascending.begin(), ascending.end()); if(ascending == num) { cout

PROGRAMMING/Algorithm 2023. 9. 6. 21:16