pyre-check/.github/workflows/pysa.yml at 5df2ddf27c6145df65f69137d441f791144225ef · facebook/pyre-check · 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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
name: pysa

on:
  push:
    branches: [ main ]
  pull_request:
    branches: [ main ]

  workflow_dispatch:

jobs:
  pysa:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v2
      - uses: actions/setup-python@v2

      - name: Install Dependencies
        run: |
          pip install -r requirements.txt
          sudo apt-get install ocaml ocaml-dune

      - name: Setup OCaml
        uses: avsm/setup-ocaml@v2
        with:
          ocaml-compiler: 4.10.2

      - name: Setup opam switch
        run: |
          opam switch create 4.10.2
          echo "OPAM_SWITCH_PREFIX=$HOME/.opam/4.10.2" >> $GITHUB_ENV
          echo "CAML_LD_LIBRARY_PATH=$HOME/.opam/4.10.2/lib/stublibs:$HOME/.opam/4.10.2/lib/ocaml/stublibs:$HOME/.opam/4.10.2/lib/ocam" >> $GITHUB_ENV
          echo "$HOME/.opam/4.10.2/bin" >> $GITHUB_PATH
          echo "/home/opam/.opam/4.10.2/bin" >> $GITHUB_PATH

      - name: Build Pyre (and Pysa)
        run: |
          mkdir typeshed
          unzip -qq ./stubs/typeshed/typeshed.zip -d ./typeshed/
          ./scripts/setup.sh --local --no-tests
          make -C source
          echo "PYTHONPATH=$GITHUB_WORKSPACE/..:$PYTHONPATH" >> $GITHUB_ENV
          echo "pythonLocation=$GITHUB_WORKSPACE:$pythonLocation" >> $GITHUB_ENV
          echo "PYRE_BINARY=$GITHUB_WORKSPACE/source/_build/default/main.exe" >> $GITHUB_ENV
          echo "PYRE_TYPESHED=$GITHUB_WORKSPACE/typeshed/typeshed-master/" >> $GITHUB_ENV

      - name: Run and test pysa output
        run: |
          cd ./documentation/deliberately_vulnerable_flask_app
          . ./setup.sh
          ./run_integration_tests.sh

      - name: Test Pysa playground
        run: |
          python3 ./tools/playground/tests/taint_output_parse_test.py