Customized symbolic analysis to find pointer analysis bugs
-
Updated
Nov 2, 2015 - C++
Customized symbolic analysis to find pointer analysis bugs
Math expression brackets checker
An implementation of Checker game using Minimax with Alpha Beta Pruning and Search Tree
epx --- Statically analyzes Windows EXE/DLL entry points
Lightweight command-line tool for validating JSON
Generate random test cases to compare your C++ solution with a brute force/correct solution on Windows.
A 2 player game of Checkers/Draughts made in C++ using SDL2
Provide an arrangement of N queens and the program will tell if the provided arrangement satisfies the N-queen arrangement.
Add a description, image, and links to the checker topic page so that developers can more easily learn about it.
To associate your repository with the checker topic, visit your repo's landing page and select "manage topics."