Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge dev changes #31

Merged
merged 160 commits into from
Jan 24, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
160 commits
Select commit Hold shift + click to select a range
e7e34b0
Target newer z3, fmt, clippy
toolCHAINZ May 23, 2024
bb497ba
Remove reference
toolCHAINZ May 23, 2024
7b42723
Add catch for sleigh size mismatch
toolCHAINZ May 23, 2024
f8f9b3e
Fix condition
toolCHAINZ May 26, 2024
cf92431
fmt
toolCHAINZ May 26, 2024
0b17240
Initial context work
toolCHAINZ May 30, 2024
15a42bc
Add context; will slowly move stuff over to using this instead
toolCHAINZ May 30, 2024
b44a40b
Add derives
toolCHAINZ May 30, 2024
0fbde20
Pub z3
toolCHAINZ May 30, 2024
38e4051
cargo fmt
toolCHAINZ May 30, 2024
1fe4b83
Ditch cargo lock
toolCHAINZ May 30, 2024
721cacd
Update ci
toolCHAINZ May 30, 2024
fdc8b44
Remove registers from context for now
toolCHAINZ May 31, 2024
04be1f2
Merge branch 'dev' of github.com:toolCHAINZ/jingle into dev
toolCHAINZ May 31, 2024
1e143fb
Relax context requirement
toolCHAINZ May 31, 2024
3b4c06a
Add state equality helper
toolCHAINZ May 31, 2024
3e46d9d
Bump z3
toolCHAINZ Jun 25, 2024
41622bd
Store language id in sleigh context
toolCHAINZ Jun 27, 2024
f759fd9
Update image section debug
toolCHAINZ Jun 27, 2024
e4225ac
Merge remote-tracking branch 'origin/dev' into dev
toolCHAINZ Jun 27, 2024
646de6b
Oops
toolCHAINZ Jun 27, 2024
ab6ff21
Actually run cargo check this time; comment out thing I didn't finish…
toolCHAINZ Jun 27, 2024
a5c585b
Try section flags instead of segment flags
toolCHAINZ Jun 27, 2024
3404a7f
Add bb-read
toolCHAINZ Jun 28, 2024
8fcf496
Only load executable sections into ghidra for now
toolCHAINZ Jun 28, 2024
203e869
Only load executable sections into ghidra for now
toolCHAINZ Jun 28, 2024
a8e43f5
Try bumping to ghidra 11.1
toolCHAINZ Jul 9, 2024
adaa1b8
Update how loading is done for ghidra 11.1
toolCHAINZ Jul 9, 2024
f9b6225
Fix get_registers()
toolCHAINZ Jul 12, 2024
697be4e
Update test
toolCHAINZ Jul 12, 2024
9cc4bc5
Add section parsing log
toolCHAINZ Jul 16, 2024
3d024c1
Merge branch 'dev' of github-toolchainz-ssh:toolCHAINZ/jingle into dev
toolCHAINZ Jul 16, 2024
86e4326
Fmt
toolCHAINZ Jul 16, 2024
2aaf7e0
Show range instead
toolCHAINZ Jul 16, 2024
8d7853b
Kludgy try_from impl, silencing warnings, fmt, clippy
toolCHAINZ Jul 17, 2024
73bc3bb
Clone if there's only one
toolCHAINZ Jul 17, 2024
cb50f74
impl (Partial)Eq for Instruction
toolCHAINZ Jul 18, 2024
cb64e46
Derive ParitalEq/Eq so that I can derive Hash soundly
toolCHAINZ Jul 18, 2024
a8f7a4a
Readme tweak
toolCHAINZ Aug 6, 2024
742e003
Merge remote-tracking branch 'origin/dev' into dev
toolCHAINZ Aug 6, 2024
1e09cf8
Remove unnecessary compile API now that Ghidraships with precompiled …
toolCHAINZ Aug 9, 2024
784af79
Initial CLI
toolCHAINZ Aug 9, 2024
2e32990
cargo fmt
toolCHAINZ Aug 9, 2024
6dc04ca
Basic bin functionality
toolCHAINZ Aug 9, 2024
5dcf4cf
Add readme note and two missing operations
toolCHAINZ Aug 9, 2024
97e5f79
Simplify printed model
toolCHAINZ Aug 9, 2024
5e51976
Sleigh parsing tweaks
toolCHAINZ Aug 12, 2024
9d23a2b
Update logo
toolCHAINZ Aug 13, 2024
dee9ff1
Gimli change
toolCHAINZ Aug 26, 2024
e5e1b49
Block tweak
toolCHAINZ Aug 27, 2024
0dc1b5e
Merge remote-tracking branch 'origin/dev' into dev
toolCHAINZ Aug 27, 2024
347b299
Add input enumeration
toolCHAINZ Aug 28, 2024
e023003
Merge remote-tracking branch 'origin/dev' into dev
toolCHAINZ Aug 28, 2024
600e720
Add constraint
toolCHAINZ Aug 28, 2024
854dd20
Explicitly add pointer dependencies to input call
toolCHAINZ Aug 29, 2024
500cd55
Add arch and fmt
toolCHAINZ Sep 3, 2024
24ad9e7
Initial context stuff
toolCHAINZ Oct 10, 2024
e9417e7
Fixed up C++ build side, now to fix FFI
toolCHAINZ Oct 10, 2024
f2bf499
Fix stuff and fmt. Builds, but need to make sure it actually works
toolCHAINZ Oct 10, 2024
58d56b7
Need to fix tests now
toolCHAINZ Oct 10, 2024
e5aee80
Some small tweaks
toolCHAINZ Oct 11, 2024
d662ec3
Gitignore, heap-allocate some stuff
toolCHAINZ Oct 11, 2024
7687a5e
Tweaks
toolCHAINZ Oct 11, 2024
9cbc19a
Move back to storing all images directly in context
toolCHAINZ Oct 11, 2024
f858627
Add test
toolCHAINZ Oct 11, 2024
38e7770
Bump ghidra to 11.2
toolCHAINZ Oct 11, 2024
ed0abaa
Fix jingle build
toolCHAINZ Oct 11, 2024
93d5272
Fix jingle binary build
toolCHAINZ Oct 11, 2024
7e739f6
Fixes context variables
toolCHAINZ Oct 11, 2024
0edbc82
Re-add image
toolCHAINZ Oct 11, 2024
cdf0df6
Add initialize call
toolCHAINZ Oct 12, 2024
615ae9f
Some bounds checking fixes
toolCHAINZ Oct 12, 2024
950c702
Merge remote-tracking branch 'origin/context_tweaks' into context_tweaks
toolCHAINZ Oct 12, 2024
eacb48a
Move pcode/assembly emitters into their own files
toolCHAINZ Oct 14, 2024
7aa1c47
Add test
toolCHAINZ Oct 14, 2024
ae532be
Merge branch 'context_tweaks' of github.com:toolCHAINZ/jingle into co…
toolCHAINZ Oct 14, 2024
61ce6d7
Change get_reg impl for now
toolCHAINZ Oct 14, 2024
3872874
Add wrapper to ensure an image is loaded before parsing
toolCHAINZ Oct 14, 2024
1723083
Fmt
toolCHAINZ Oct 14, 2024
bd1eb46
Clippy
toolCHAINZ Oct 14, 2024
b87c391
More clippy
toolCHAINZ Oct 14, 2024
0c6669c
Fix jingle
toolCHAINZ Oct 14, 2024
c45eca7
fmt
toolCHAINZ Oct 14, 2024
db92380
Clippy
toolCHAINZ Oct 14, 2024
298829a
Fix binary
toolCHAINZ Oct 14, 2024
d7ee2a1
Merge pull request #13 from toolCHAINZ/context_tweaks
toolCHAINZ Oct 14, 2024
262d530
Don't consume varnode in `get_register_name`
toolCHAINZ Oct 14, 2024
00cbd7c
Initial trait work
toolCHAINZ Oct 15, 2024
90fc1a7
Tweaks
toolCHAINZ Oct 15, 2024
62a479e
Some build fixes
toolCHAINZ Oct 15, 2024
3e6b0be
More stuff
toolCHAINZ Oct 15, 2024
34c4393
Maybe just need to add the impls now?
toolCHAINZ Oct 15, 2024
a9248f6
Build fixed
toolCHAINZ Oct 15, 2024
ebfe8af
fmt
toolCHAINZ Oct 15, 2024
b77e666
Clippy
toolCHAINZ Oct 15, 2024
6187666
Actually fix build
toolCHAINZ Oct 15, 2024
768602f
Fix crashes
toolCHAINZ Oct 15, 2024
8acf32c
Start on gimli
toolCHAINZ Oct 15, 2024
2785973
Impl gimli
toolCHAINZ Oct 16, 2024
2c3cd62
actually actually fix build
toolCHAINZ Oct 16, 2024
a6a5538
Fmt and gimli tweak
toolCHAINZ Oct 16, 2024
87a5045
Remove unused file
toolCHAINZ Oct 16, 2024
af56c88
Remove more unused files
toolCHAINZ Oct 16, 2024
6a00c86
Fix build
toolCHAINZ Oct 16, 2024
c557053
clippy --fix
toolCHAINZ Oct 16, 2024
ccd66ad
Clippy fixes
toolCHAINZ Oct 16, 2024
a35acb2
Changes to traits
toolCHAINZ Oct 16, 2024
6f76225
fmt
toolCHAINZ Oct 16, 2024
450a42e
Clippy
toolCHAINZ Oct 16, 2024
e6dd1b5
pub perms
toolCHAINZ Oct 16, 2024
d9a38ec
More trait stuff
toolCHAINZ Oct 16, 2024
2e641f1
Convert LoadedSleighContext to struct
toolCHAINZ Oct 16, 2024
dedcb08
Trying more stuff
toolCHAINZ Oct 16, 2024
8f31dcc
More trait gymnastics
toolCHAINZ Oct 16, 2024
221bf34
Clippy
toolCHAINZ Oct 16, 2024
ed97ea8
Remove unused generic bounds
toolCHAINZ Oct 16, 2024
73c4afb
Add owned file
toolCHAINZ Oct 16, 2024
fe0b339
Pub all of gimli
toolCHAINZ Oct 16, 2024
f599396
Reshuffle
toolCHAINZ Oct 16, 2024
faa8c40
Filter
toolCHAINZ Oct 16, 2024
0bd3e0c
Fix loading
toolCHAINZ Oct 16, 2024
e467441
Merge pull request #16 from toolCHAINZ/image_trait
toolCHAINZ Oct 16, 2024
04d30fc
Display register names
toolCHAINZ Oct 21, 2024
3d64bd9
Change display impl
toolCHAINZ Oct 21, 2024
e14534e
fmt
toolCHAINZ Oct 21, 2024
0084aa3
clippy
toolCHAINZ Oct 21, 2024
19b12c8
fmt
toolCHAINZ Oct 21, 2024
2acef25
Name tweak
toolCHAINZ Oct 27, 2024
13c35da
Add read_bytes
toolCHAINZ Oct 30, 2024
0d3f640
cherrypick get_bytes
toolCHAINZ Oct 30, 2024
fad7e0f
Add helper to summarize branches
toolCHAINZ Nov 1, 2024
ed9566c
Update logo
toolCHAINZ Nov 4, 2024
e77167b
Update jingle.svg
toolCHAINZ Nov 5, 2024
0a6f667
Made ImageSectionIterator::new pub
chf0x Nov 12, 2024
9da3315
Merge pull request #20 from chf0x/patch-1
toolCHAINZ Nov 13, 2024
71f3ae7
Target master branch of z3.rs
toolCHAINZ Nov 17, 2024
4e4b842
Add rebasing API
toolCHAINZ Nov 18, 2024
f97eacf
Fix rebasing API
toolCHAINZ Nov 18, 2024
1eb3455
Context refactor
toolCHAINZ Nov 18, 2024
450238a
Fix formatting
toolCHAINZ Nov 22, 2024
99b5a7b
Merge branch 'dev' of github.com:toolCHAINZ/jingle into jingle_context
toolCHAINZ Nov 24, 2024
f13ab5d
fmt
toolCHAINZ Nov 24, 2024
ae1a9a6
Clippy
toolCHAINZ Nov 24, 2024
fa42245
Merge pull request #22 from toolCHAINZ/jingle_context
toolCHAINZ Nov 24, 2024
9520912
Only expose image bytes in the code space
toolCHAINZ Nov 26, 2024
63ac5d4
Blanket impl for ImageProvider
toolCHAINZ Nov 26, 2024
e4566cd
Fmt
toolCHAINZ Nov 26, 2024
4d21670
Fix spaces
toolCHAINZ Nov 27, 2024
8a0d2d5
Bundle Zlib (#23)
toolCHAINZ Nov 27, 2024
a99e35e
Multiplatform CI (#24)
toolCHAINZ Nov 27, 2024
f5d70da
Fix ldefs (#26)
dzonerzy Nov 27, 2024
f813d7c
Additional CI refactor (#28)
toolCHAINZ Dec 2, 2024
9e867d7
Add deflate.c to compilation (#29)
toolCHAINZ Dec 11, 2024
fe182c3
Build tweak (#30)
toolCHAINZ Dec 12, 2024
dffcd19
Left shift tweak
toolCHAINZ Dec 13, 2024
44dfadf
Remove unnecessary pin. Add favicon.svg.
toolCHAINZ Dec 16, 2024
8c07921
Some CLI stuff
toolCHAINZ Jan 23, 2025
a4b3c40
Merge remote-tracking branch 'origin/dev' into dev
toolCHAINZ Jan 23, 2025
1e79c58
Fix and fmt
toolCHAINZ Jan 23, 2025
c91cf53
Clippy fix
toolCHAINZ Jan 23, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 0 additions & 13 deletions .github/workflows/check.yml

This file was deleted.

32 changes: 32 additions & 0 deletions .github/workflows/jingle.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
name: jingle

on:
push:
pull_request:
workflow_dispatch:

jobs:
pre_ci:
uses: dtolnay/.github/.github/workflows/pre_ci.yml@master

build:
name: ${{matrix.name || format('Rust {0}', matrix.rust)}}
needs: pre_ci
if: needs.pre_ci.outputs.continue
runs-on: ${{matrix.os}}-latest
strategy:
fail-fast: false
matrix:
rust: [nightly, beta, stable]
os: [ubuntu]
env:
RUSTFLAGS: --cfg deny_warnings -Dwarnings
timeout-minutes: 45
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{matrix.rust}}
- run: cargo build --all-features --manifest-path jingle_sleigh/Cargo.toml
45 changes: 45 additions & 0 deletions .github/workflows/jingle_sleigh.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
name: jingle_sleigh

# Stealing the multi-platform CI configuration from
# https://github.com/dtolnay/cxx/blob/master/.github/workflows/ci.yml
# for testing build using CXX.

on:
push:
pull_request:
workflow_dispatch:

jobs:
pre_ci:
uses: dtolnay/.github/.github/workflows/pre_ci.yml@master

build:
name: ${{matrix.name || format('Rust {0}', matrix.rust)}}
needs: pre_ci
if: needs.pre_ci.outputs.continue
runs-on: ${{matrix.os}}-latest
strategy:
fail-fast: false
matrix:
rust: [nightly, stable]
os: [ubuntu]
include:
- name: Cargo on macOS
rust: nightly
os: macos
- name: Cargo on Windows (msvc)
rust: nightly-x86_64-pc-windows-msvc
os: windows
flags: /EHsc
env:
CXXFLAGS: ${{matrix.flags}}
RUSTFLAGS: --cfg deny_warnings -Dwarnings
timeout-minutes: 45
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{matrix.rust}}
- run: cargo build --all-features --manifest-path jingle_sleigh/Cargo.toml
36 changes: 36 additions & 0 deletions .github/workflows/style.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
name: Style

on:
push:
pull_request:
workflow_dispatch:

jobs:
pre_ci:
uses: dtolnay/.github/.github/workflows/pre_ci.yml@master

build:
name: ${{matrix.name || format('Rust {0}', matrix.rust)}}
needs: pre_ci
if: needs.pre_ci.outputs.continue
runs-on: ${{matrix.os}}-latest
strategy:
fail-fast: false
matrix:
rust: [ stable ]
os: [ ubuntu ]
env:
RUSTFLAGS: --cfg deny_warnings -Dwarnings
timeout-minutes: 45
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{matrix.rust}}
components: clippy, rustfmt
- name: cargo fmt
run: cargo fmt --all -- --check
- name: cargo clippy
run: cargo clippy --all-targets --all-features -- -D warnings
Loading
Loading