Skip to content
This repository was archived by the owner on Dec 10, 2025. It is now read-only.

Commit f33a7f2

Browse files
authored
Merge pull request #52 from mximp/51-rultor-setup
#51 added rultor
2 parents 7212b2d + 033c04c commit f33a7f2

File tree

1 file changed

+42
-0
lines changed

1 file changed

+42
-0
lines changed

.rultor.yml

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
docker:
2+
image: yegor256/rultor-image:1.13.0
3+
architect:
4+
- yegor256
5+
assets:
6+
settings.xml: yegor256/polystat-secrets#settings.xml
7+
pubring.gpg: yegor256/polystat-secrets#pubring.gpg
8+
secring.gpg: yegor256/polystat-secrets#secring.gpg
9+
install: |
10+
python3 -m pip install --upgrade pip wheel
11+
python3 -m pip install -r scripts/requirements.txt
12+
python3 -m pip install -e ./scripts
13+
sudo apt-get update -y
14+
sudo apt-get install -y clang-tidy cmake
15+
curl -L -o polystat.jar "https://github.com/polystat/polystat-cli/releases/download/v0.1.11/polystat.jar"
16+
curl -L -o j2eo.jar "https://search.maven.org/remotecontent?filepath=org/polystat/j2eo/0.5.3/j2eo-0.5.3.jar"
17+
git clone https://github.com/SVF-tools/SVF.git
18+
cd SVF
19+
source ./build.sh
20+
cd ../
21+
sudo apt-get install -y cppcheck
22+
curl -L -o spotbugs-4.7.0.tgz "https://github.com/spotbugs/spotbugs/releases/download/4.7.0/spotbugs-4.7.0.tgz"
23+
gunzip -c spotbugs-4.7.0.tgz | tar xvf -
24+
javac -version
25+
pdd --file=/dev/null
26+
merge:
27+
script: |
28+
python3 -m source_files_extractor tests temp/sources ""
29+
python3 -m build_sources temp/sources build
30+
python3 -m clang_tidy -p ./build > results/clang-out.txt
31+
cat results/clang-out.txt
32+
touch results/polystat-eo-out.txt
33+
java -jar polystat.jar eo --in temp/sources/eo --to file=results/polystat-eo-out.txt --sarif
34+
cat results/polystat-eo-out.txt
35+
java -jar j2eo.jar temp/sources/java -o temp/sources/j2eo
36+
touch results/polystat-j2eo-out.txt
37+
java -jar polystat.jar eo --in temp/sources/j2eo --to file=results/polystat-j2eo-out.txt --sarif
38+
cat results/polystat-j2eo-out.txt
39+
python3 -m SVF temp/sources/cpp temp/bc results SVF/Release-build/bin
40+
python3 -m cppcheck temp/sources/cpp results
41+
python3 -m spotbugs spotbugs-4.7.0/lib/spotbugs.jar temp/sources/java results
42+
python3 -m analyze_reports true

0 commit comments

Comments
 (0)