* Update location and name of cscope
* Update README and add quick test script
* Add architecture check and disable full test for now
* Remove test script. Enable libpng integration test
---------
Co-authored-by: Michael D Brown <michael.brown@trailofbits.com>
* Remove just tool completely and migrate all functionality to Makefiles
- Added install-cscope, lint-python, and lint-python-all targets to main Makefile
- Created program-model/Makefile with all justfile functionality
- Removed justfiles from both main and program-model directories
- Updated all documentation to use make commands instead of just
- Removed just installation and checking functions from setup scripts
- All functionality preserved with equivalent make targets
Co-authored-by: Riccardo Schirone <ret2libc@users.noreply.github.com>
* Remove duplicate lint-python targets from Makefile
These targets duplicated existing lint and lint-component targets.
Updated CLAUDE.md to reference the correct make targets.
Co-authored-by: Riccardo Schirone <ret2libc@users.noreply.github.com>
* Fix remaining references to removed lint-python targets in documentation
Co-authored-by: Riccardo Schirone <ret2libc@users.noreply.github.com>
* Fix Makefile: Add missing targets to .PHONY declaration
Added lint, lint-component, clean-local, wait-crs, check-crs,
crs-instance-id, status, and send-integration-task to .PHONY
to ensure they work correctly even if files with those names exist.
Co-authored-by: Riccardo Schirone <ret2libc@users.noreply.github.com>
* ci: remove just references
---------
Co-authored-by: claude[bot] <209825114+claude[bot]@users.noreply.github.com>
Co-authored-by: Riccardo Schirone <ret2libc@users.noreply.github.com>
Co-authored-by: Michael D Brown <michael.brown@trailofbits.com>
* program-model/tree-sitter: refactor classes
* program-model/tree-sitter: change how paths are considered
This allows to parse also code in oss-fuzz (e.g. injected fuzz targets
not in upstream project)
* common: change name format for challenge commit
* program-model/codequery: make it persistent and nice
* program-model: disable janus & co for now
* patcher: make use of codequery instead of just tree-sitter
* program-model: add integration tests for codequery
* program-model/codequery: add support for different languages
* patcher: install codequery in patcher's container
* ci: fix codequery install
* program-model: ensure cqdb storage in /crs_scratch
* program-model: ensure the cqdb storage is available only at the end
* Add skeleton for api call
* Modify encoding and decoding nodes/edges
* Add change encoding from base64 to hex
* reformat
* Target libpng function in example
* remove old project name
* cli fixes
* Add get_function via byte offsets
* refactor
---------
Co-authored-by: Ian Smith <ian.smith@trailofbits.com>
* Add documentation
* Add janusgraph custom configuration. Simply graph creation.
* Add properties to edges. Index on uri property.
* reformat
* Create libpng graph in a more reasonable amount of time.
* Update README.md
* Wrap indexing into function
* updating...
* update proto
* fix command
* Update settings for serve and processing indexing
* Add dockerfile to docker container
* Add trigger script
* Fix error with loading graphml file
* reformat
* Remove resource constraints for program model
* Change permissions of temp dir
* Update readme
* Update dockerignore
---------
Co-authored-by: Evan Downing <2077950+evandowning@users.noreply.github.com>
* add program model uv
* add tool to common
* remove oss fuzz tool
* add docker
* implement build base image
* fix ret check
* add builder for subimage
* remove old tool
* hack to avoid dupped kzip files
* fixes... need to work out LD hack
* fix find
* justfile for building kythe
* update dockerfile
* add upload tool
* update protobuf
* move into compose
* fix merge invocation
* fix up invoc
* bump kythe
* reformat
* format
* format
* remove unused
* add lint and change version
* fixes
* exclude
* fix formatting:
* dev deps
* add dep
* exclude gen
* fix