Iridium/README at main · CompL-Research/Iridium · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

> [!NOTE]
> Version bump to 1.0b + documentation pages work is underway


The DOCUMENTATIONS is a WIP


██╗██████╗ ██╗██████╗ ██╗██╗   ██╗███╗   ███╗
██║██╔══██╗██║██╔══██╗██║██║   ██║████╗ ████║
██║██████╔╝██║██║  ██║██║██║   ██║██╔████╔██║
██║██╔══██╗██║██║  ██║██║██║   ██║██║╚██╔╝██║
██║██║  ██║██║██████╔╝██║╚██████╔╝██║ ╚═╝ ██║
╚═╝╚═╝  ╚═╝╚═╝╚═════╝ ╚═╝ ╚═════╝ ╚═╝     ╚═╝

Iridium Version: 0.9a


=== Iridium ===

  Iridium is a static analysis framework for JavaScript Programs 📈.
  $ ./iridium <command>
  $ ./iridium js3
  $ ./iridium pika
  $ ./iridium iri
  $ ./iridium stats
  $ ./iridium help

Command List

  help   Display this information.
  js3    Generate JS3 file and print to stdout
  pika   Generate Iridium Pika-ge (package).
  iri    Generate Iridium file (.iri)

=== Setup ===

  Run `bash setup.sh`.

=== Run Typecheck ===
  `npx tsc -p tsCheck.json`