Tool Installation: Jalangi2

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "jalangi2"]
+	path = jalangi2
+	url = https://github.com/Samsung/jalangi2.git

.stryker-tmp/sandbox1963221/.codeclimate.yml

@@ -0,0 +1,30 @@
+# Save as .codeclimate.yml (note leading .) in project root directory
+version: "2"
+languages:
+  Ruby: false
+  JavaScript: true
+  PHP: false
+checks:
+  file-lines:
+    config:
+      threshold: 500
+  method-lines:
+    config:
+      threshold: 75
+  method-complexity:
+    config:
+      threshold: 10
+  similar-code:
+    config:
+      threshold: 65
+plugins:
+  duplication:
+    enabled: true
+    config:
+      languages:
+        javascript:
+          mass_threshold: 110
+          count_threshold: 3
+exclude_paths:
+- "public/vendor/*"
+- "test/*"

.stryker-tmp/sandbox1963221/.dockerignore

@@ -0,0 +1,10 @@
+.*
+logs
+test
+node_modules
+commitlint.config.js
+nodebb.bat
+renovate.json
+*.yml
+*.md
+Dockerfile

.stryker-tmp/sandbox1963221/.editorconfig

@@ -0,0 +1,8 @@
+root = true
+
+[{*.js, *.css, *.tpl, *.json}]
+indent_style = tab
+end_of_line = lf
+charset = utf-8
+trim_trailing_whitespace = true
+insert_final_newline = false

.stryker-tmp/sandbox1963221/.eslintignore

@@ -0,0 +1,21 @@
+node_modules/
+*.sublime-project
+*.sublime-workspace
+.project
+.vagrant
+.DS_Store
+logs/
+/public/templates
+/public/uploads
+/public/vendor
+/public/src/modules/string.js
+.idea/
+.vscode/
+*.ipr
+*.iws
+/coverage
+/build
+.eslintrc
+test/files
+*.min.js
+install/docker/

.stryker-tmp/sandbox1963221/.eslintrc

@@ -0,0 +1,3 @@
+{
+	"extends": "nodebb"
+}

.stryker-tmp/sandbox1963221/.gitattributes

@@ -0,0 +1,13 @@
+# These files are text and should be normalized (convert crlf => lf)
+*.json		text
+*.css		text
+*.less		text
+*.tpl		text
+*.html		text
+*.js		text
+*.md		text
+
+# Images should be treated as binary
+# (binary is a macro for -text -diff)
+*.png		binary
+*.jpg		binary

.stryker-tmp/sandbox1963221/.github/CONTRIBUTING.md

@@ -0,0 +1,69 @@
+# Submitting a Pull Request to NodeBB?
+
+First of all, thank you! Before submission, please run `npm test` to lint and run the automated NodeBB tests. If everything passes, you're good to go. If you have any errors, please fix them and re-run `npm test` to make sure there aren't any others.
+
+## Styleguide and linting
+
+NodeBB mostly conforms to the [AirBnB Javascript style guide](https://github.com/airbnb/javascript#readme). If you're running into a lot of ESlint errors, you may want to install an editor plugin to display them in real time.
+
+## Contributor License Agreement
+
+Thank you for considering contributing to NodeBB. **Before you are able to submit a pull request, please take a moment to read our [contributor license agreement](https://gist.github.com/psychobunny/65946d7aa8854b12fab9)** and agree to it on the pull request page on GitHub. In summary, signing this document means that 1) you own the code that you are contributing and 2) you give permission to NodeBB Inc. to license the code to others. This agreement applies to any repository under the NodeBB organization.
+
+If you are writing contributions as part of employment from another company / individual, then your employer will need to sign a separate agreement. Please [contact us](mailto:[email protected]) so that we can send this additional agreement to your employer.
+
+
+# Having problems installing NodeBB?
+
+Chances are somebody has run into this problem before. After consulting our [documentation](https://docs.nodebb.org/installing/os/), please head over to our [community support forum](https://community.nodebb.org) for advice.
+
+# Found a Security Vulnerability?
+
+If you believe you have identified a security vulnerability with NodeBB, report it as soon as possible via email to **[email protected]**.
+A member of the NodeBB security team will respond to the issue.
+Please do not post it to the public bug tracker.
+
+# Issues & Bugs
+
+Thanks for reporting an issue with NodeBB! Please follow these guidelines in order to streamline the debugging process. The more guidelines you follow, the easier it will be for us to reproduce your problem.
+
+In general, if we can't reproduce it, we can't fix it!
+
+## Try the latest version of NodeBB
+
+There is a chance that the issue you are experiencing may have already been fixed.
+
+## Provide the NodeBB version number and git hash
+
+You can find the NodeBB version number in the Admin Control Panel (ACP), as well as the first line output to the shell when running NodeBB
+
+``` plaintext
+3/4 12:38:57 [10752] - info: NodeBB v1.4.5 Copyright (C) 2013-2017 NodeBB Inc.
+3/4 12:38:57 [10752] - info: This program comes with ABSOLUTELY NO WARRANTY.
+3/4 12:38:57 [10752] - info: This is free software, and you are welcome to redistribute it under certain conditions.
+```
+
+If you are running NodeBB via git, it is also helpful to let the maintainers know what commit hash you are on. To find the commit hash, execute the following command:
+
+``` bash
+$ cd /path/to/my/nodebb
+$ git rev-parse HEAD
+```
+
+If you have downloaded the `.zip` or `.tar.gz` packages from GitHub (or elsewhere), please let us know.
+
+## Provide theme versions if issue is related to the theme/display
+Use `npm ls` to list the versions of the theme you're using. In this example, we're running the Persona theme, which depends on the Vanilla theme.
+
+``` bash
+$ npm ls nodebb-theme-vanilla nodebb-theme-persona
+[email protected] /path/to/nodebb
++-- [email protected]
+`-- [email protected]
+```
+
+## Attempt to use `git bisect`
+
+If you have installed NodeBB via GitHub clone, are familiar with utilising git, and are willing to help us narrow down the specific commit that causes a bug, consider running `git bisect`.
+
+A full guide can be found here: [Debugging with Git/Binary Search](http://git-scm.com/book/en/Git-Tools-Debugging-with-Git#Binary-Search)

.stryker-tmp/sandbox1963221/.github/ISSUE_TEMPLATE/bug-report.yml

@@ -0,0 +1,81 @@
+name: Bug Report
+description: File a bug report
+labels: ["bug"]
+body:
+  - type: markdown
+    attributes:
+      value: |
+        Github Issues are for bug reports and feature requests only
+        Please visit https://community.nodebb.org for other support
+        Found a security exploit? Please email us at [email protected] instead for immediate attention
+        ### → DO NOT SUBMIT VULNERABILITIES TO THE PUBLIC BUG TRACKER ←
+  - type: input
+    attributes:
+      label: NodeBB version
+      placeholder: e.g. v2.2.0
+  - type: input
+    attributes:
+      label: NodeBB git hash
+      description: to find your git hash, execute `git rev-parse HEAD` from the main NodeBB directory
+      placeholder: e.g. 783250ee6f8c51cdc243ce3b8d9f1a080517247e
+  - type: input
+    attributes:
+      label: NodeJS version
+      placeholder: e.g. v16.15.1
+  - type: textarea
+    attributes:
+      label: Installed NodeBB plugins
+      description: to find installed plugins run `./nodebb plugins`
+      placeholder: |
+        e.g.
+        * [email protected] (installed, disabled)
+        * [email protected] (installed, enabled)
+        * [email protected] (installed, disabled)
+        * [email protected] (installed, enabled)
+        * [email protected] (installed, enabled)
+        * [email protected] (installed, enabled)
+        * [email protected] (installed, enabled)
+        * [email protected] (installed, disabled)
+        * [email protected] (installed, enabled)
+        * [email protected] (installed, disabled)
+        * [email protected] (installed, enabled)
+        * [email protected] (installed, disabled)
+        * [email protected] (installed, disabled)
+        * [email protected] (installed, enabled)
+  - type: dropdown
+    attributes:
+      label: Database type
+      multiple: true
+      options:
+        - MongoDB
+        - Redis
+        - PostgreSQL
+  - type: input
+    attributes:
+      label: Database version
+      description: "`mongod --version`, `redis-server --version`, or `postgres --version`"
+      placeholder: e.g. v5.0.9
+  - type: textarea
+    attributes:
+      label: Exact steps to cause this issue
+      placeholder: |
+        1. First I did this...
+        2. Then, I clicked on this item...
+
+        A quick note: MP4 and MOV formatted video files are now allowed to be uploaded to GH.
+        Please upload if reproduction steps are hard to describe or reproduce reliably.
+  - type: textarea
+    attributes:
+      label: What you expected
+      placeholder: e.g. I expected *abc* to *xyz*
+  - type: textarea
+    attributes:
+      label: What happened instead
+      placeholder: e.g. Instead, I got *zyx* and NodeBB set fire to my house
+  - type: textarea
+    attributes:
+      label: Anything else?
+      description: Any additional context about the issue you're encountering
+  - type: markdown
+    attributes:
+      value: "**Thank you!**"

.stryker-tmp/sandbox1963221/.github/ISSUE_TEMPLATE/config.yml

@@ -0,0 +1,5 @@
+blank_issues_enabled: true
+contact_links:
+  - name: Community Forum
+    url: https://community.nodebb.org
+    about: Github Issues are for bug reports and feature requests only, please use community forum for other support

.stryker-tmp/sandbox1963221/.github/ISSUE_TEMPLATE/feature-request.yml

@@ -0,0 +1,24 @@
+name: Feature Request
+description: Suggest a new feature
+labels: ["enhancement"]
+body:
+  - type: markdown
+    attributes:
+      value: |
+        Github Issues are for bug reports and feature requests only
+        Please visit https://community.nodebb.org for other support
+        Found a security exploit? Please email us at [email protected] instead for immediate attention
+        ### → DO NOT SUBMIT VULNERABILITIES TO THE PUBLIC BUG TRACKER ←
+  - type: textarea
+    attributes:
+      label: Description
+    validations:
+      required: true
+  - type: input
+    attributes:
+      label: Community forum reference
+      description: If this feature was already discussed on the Community Forum link it here
+      placeholder: https://community.nodebb.org/topic/0/example-feature-request
+  - type: markdown
+    attributes:
+      value: "**Thank you!**"

.stryker-tmp/sandbox1963221/.github/SECURITY.md

@@ -0,0 +1,9 @@
+# Reporting a security vulnerability
+
+NodeBB's security policy is based around a private bug bounty program. Users are invited to explore NodeBB for vulnerabilities, and report them to the NodeBB team so that they can be patched.
+
+If you have found a security vulnerability, **do not post it onto our GitHub tracker**. Some security vulnerabilities are quite severe and discretion is recommended. Email the NodeBB Security Team at [email protected], instead, even if you are not sure whether something qualifies.
+
+# Bug Bounty Program
+
+Security vulnerability reports may be eligible for a bounty based on severity and confirmation from NodeBB team members. For full details regarding our bug bounty program, including the bounty amounts, please consult the [dedicated page for our Bug Bounty Program](https://nodebb.org/bounty).

.stryker-tmp/sandbox1963221/.github/workflows/azure-deploy-f24.yml

@@ -0,0 +1,54 @@
+# Docs for the Azure Web Apps Deploy action: https://github.com/Azure/webapps-deploy
+# More GitHub Actions for Azure: https://github.com/Azure/actions
+
+name: Build and deploy Node.js app to Azure Web App - nodebb-f24
+
+on:
+  push:
+    branches:
+      - f24
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.workflow }}
+  cancel-in-progress: true
+
+jobs:
+  lint-and-test:
+    uses:
+      ./.github/workflows/test.yaml
+
+  build-and-deploy:
+    if: github.repository == 'cmu-313/nodebb-f24-hunan-hunters'
+    needs: lint-and-test
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Set up Node.js version
+        uses: actions/setup-node@v3
+        with:
+          node-version: '20.x'
+
+      - name: Set up NodeBB
+        run: |
+          ./nodebb setup '{"url":"https://nodebb-hunanhunters.azurewebsites.net:443",
+            "admin:username": "admin",
+            "admin:password": "${{ secrets.ADMIN_PASSWORD }}",
+            "admin:password:confirm": "${{ secrets.ADMIN_PASSWORD }}",
+            "admin:email": "[email protected]",
+            "database": "redis",
+            "redis:host": "${{ secrets.REDIS_HOST }}",
+            "redis:port": "6379",
+            "redis:password": "${{ secrets.REDIS_PASSWORD }}" }'
+
+      - name: 'Deploy to Azure Web App'
+        id: deploy-to-webapp
+        uses: azure/webapps-deploy@v2
+        with:
+          app-name: 'nodebb-hunanhunters'
+          slot-name: 'Production'
+          publish-profile: ${{ secrets.AZUREAPPSERVICE_PUBLISHPROFILE_8CE2E89DDD294B98BF913663FFF5E9D5 }}
+          package: .