5 Components & Libraries
Sortby
This project is no longer internally developed and maintained. However, we are happy to review and accept small, well-written pull requests by the community. We will only consider bug fixes and minor…
Joern is a platform for analyzing source code, bytecode, and binary executables. It generates code property graphs (CPGs), a graph representation of code for cross-language code analysis. Code proper…
For more information, see: Current status: All packages were tested on Ubuntu 16.04 (x86_64). You can also install it locally: We can check restrictions on code using a SMT solver. For instance, supp…
I have solved quite a number of problems from several topics. See the below table for further details. BFS, DFS, Dijkstra, Floyd–Warshall, Bellman-Ford, Kruskal, Prim's…
Subscribe to our newsletter