Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Z

Zipr Toolchain
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

dd3eaafc

Commit dd3eaafc authored 14 years ago by jdh8d

Downloads
- Patches
- Plain Diff

Variety of random small changes to keep concolic up-to-date with grammatech's working versions

parent 7b2ff2da

No related branches found

No related tags found

Loading

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

.gitattributes 3 additions, 1 deletion

.gitattributes
examples/Makefile 3 additions, 1 deletion

examples/Makefile
examples/dumbledore_file.c 46 additions, 0 deletions

examples/dumbledore_file.c
examples/dumbledore_file_with_fopen_check.c 46 additions, 0 deletions

examples/dumbledore_file_with_fopen_check.c
examples/dumbledore_stdin.c 3 additions, 0 deletions

examples/dumbledore_stdin.c
tools/do_concolic.sh 3 additions, 3 deletions

tools/do_concolic.sh
tools/ps_analyze.sh 2 additions, 1 deletion

tools/ps_analyze.sh
tools/ps_run.sh 17 additions, 1 deletion

tools/ps_run.sh

with 123 additions and 7 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment