Asger F a374b04f0f Create UnderlyingTypes.qll

2025-04-23 14:27:00 +02:00

..

examples

JS: Mass rename to node1,state1,node2,state2 naming convention

2024-12-16 15:35:46 +01:00

integration-tests

Added a new way to simulate CatastrophicError for integration-tests. In the future environmental variable, might be a more sustainable solution.

2024-11-13 08:58:54 +01:00

lib

Create UnderlyingTypes.qll

2025-04-23 14:27:00 +02:00

src

JS: Exclude externs from CallGraph meta-query

2025-04-23 14:26:48 +02:00

test

JS: Add test

2025-04-23 14:26:57 +02:00