shieldcontract 0.2.0

Advanced security analysis for blockchain platforms
Documentation 
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143

name: Release

on:
  push:
    tags:
      - 'v*'

permissions:
  contents: write

jobs:
  create-release:
    name: Create Release
    runs-on: ubuntu-latest
    outputs:
      release_id: ${{ steps.create_release.outputs.id }}
      upload_url: ${{ steps.create_release.outputs.upload_url }}
    steps:
      - uses: actions/checkout@v4
      
      - name: Create Release
        id: create_release
        uses: softprops/action-gh-release@v2
        with:
          tag_name: ${{ github.ref_name }}
          name: ShieldContract ${{ github.ref_name }}
          draft: false
          prerelease: false
          generate_release_notes: true
          body: |
            ## ShieldContract ${{ github.ref_name }}
            
            ### What's New
            - See [CHANGELOG.md](https://github.com/KoushikGavini/ShieldContract/blob/main/CHANGELOG.md) for details
            
            ### Installation
            
            #### Pre-built binaries
            Download the appropriate binary for your platform from the assets below.
            
            #### From source
            ```bash
            cargo install --git https://github.com/KoushikGavini/ShieldContract --tag ${{ github.ref_name }}
            ```
            
            ### Checksums
            See `checksums.txt` in the release assets.

  build-release:
    name: Build Release
    needs: create-release
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        include:
          - os: ubuntu-latest
            target: x86_64-unknown-linux-gnu
            binary: shieldcontract
            archive: tar.gz
          - os: ubuntu-latest
            target: x86_64-unknown-linux-musl
            binary: shieldcontract
            archive: tar.gz
          - os: macos-latest
            target: x86_64-apple-darwin
            binary: shieldcontract
            archive: tar.gz
          - os: macos-latest
            target: aarch64-apple-darwin
            binary: shieldcontract
            archive: tar.gz
    steps:
      - uses: actions/checkout@v4
      
      - name: Install Z3 (Ubuntu)
        if: matrix.os == 'ubuntu-latest'
        run: |
          sudo apt-get update
          sudo apt-get install -y z3 libz3-dev
          echo "Z3_SYS_Z3_HEADER=/usr/include/z3.h" >> $GITHUB_ENV
          if [[ "${{ matrix.target }}" == "x86_64-unknown-linux-musl" ]]; then
            sudo apt-get install -y musl-tools
          fi
      
      - name: Install Z3 (macOS)
        if: matrix.os == 'macos-latest'
        run: |
          brew install z3
          echo "Z3_SYS_Z3_HEADER=$(brew --prefix)/include/z3.h" >> $GITHUB_ENV
      
      - name: Install Rust
        uses: dtolnay/rust-toolchain@master
        with:
          toolchain: 1.82.0
          targets: ${{ matrix.target }}
      
      - name: Build
        run: cargo build --release --target ${{ matrix.target }}
      
      - name: Create archive
        run: |
          mkdir -p shieldcontract-${{ github.ref_name }}-${{ matrix.target }}
          cp target/${{ matrix.target }}/release/${{ matrix.binary }} shieldcontract-${{ github.ref_name }}-${{ matrix.target }}/
          cp README.md LICENSE shieldcontract-${{ github.ref_name }}-${{ matrix.target }}/
          tar czf shieldcontract-${{ github.ref_name }}-${{ matrix.target }}.tar.gz shieldcontract-${{ github.ref_name }}-${{ matrix.target }}
          echo "ASSET=shieldcontract-${{ github.ref_name }}-${{ matrix.target }}.tar.gz" >> $GITHUB_ENV
      
      - name: Upload artifact
        uses: actions/upload-artifact@v4
        with:
          name: ${{ env.ASSET }}
          path: ${{ env.ASSET }}
      
      - name: Upload to release
        uses: softprops/action-gh-release@v2
        with:
          files: ${{ env.ASSET }}

  checksums:
    name: Generate Checksums
    needs: [create-release, build-release]
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      
      - name: Download all artifacts
        uses: actions/download-artifact@v4
        with:
          path: ./artifacts
      
      - name: Move artifacts to root
        run: |
          find ./artifacts -name "*.tar.gz" | xargs -I {} mv {} ./
      
      - name: Generate checksums
        run: |
          sha256sum shieldcontract-*.tar.gz > checksums.txt || echo "No files to checksum"
          cat checksums.txt
      
      - name: Upload checksums to release
        uses: softprops/action-gh-release@v2
        with:
          files: checksums.txt