sanazsheikhi Goto Github PK

arch2023_benchmark_acasxu

This repository includes source codes for closed-loop ACAS XU with F-16 and Dubins dynamics.

blackbox-simplex-extension

This project is an extension to the previous work: https://link.springer.com/chapter/10.1007/978-3-031-06773-0_12

capturenetworkpackets

The program has been developed to capture network packets from either a network device or file in pcap format.It can listen to a specific device defined by user or a default device selected automatically. It applies the BPF (Berkly Packet Filter) and captures packets which match the BPF if any. In case there is no BPF criteria it dumps all the packets. Then, if there is any expression infront of -s switch it searches the expression in the payload of the packets. In case it finds the expression in payload it starts to analyze the packet headers and extract packet information to write in output file. If it doesn't find the expression in payload it doesn't analyze it. The program work in promiscuous mode, meaning it continues to capture packets infinitely untill the user stops it (for example by pressing ctrl + c ). This project was HW2 for CSE508 at SBU Fall 2017

coverageexplorer

This is coverage-guided tool for Cyber-Physical System Test Case Generation

cpsfuzz

Fuzz testing CPSs

etw_logparser

koopman

llvm_compiler_nestedloops

This is a compiler optimization project where an LLVM pass to interchange the order of perfectly (or tightly) nested loops is implemented. This project was done as a part of CSE504 at Stony Brook University December 2019.