issues
search
GaloisInc
/
MATE
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
https://galoisinc.github.io/MATE/
BSD 3-Clause "New" or "Revised" License
178
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
No POIs in vulnerable program
#66
sherkat69
opened
8 months ago
2
getting "invalid label" while executing "docker-compose"
#65
sherkat69
opened
10 months ago
4
Debugging a failing build
#64
william-simmonstst
opened
1 year ago
2
bug: Blight journal is empty
#63
F1o0T
opened
1 year ago
34
Incorrect points-to signature for str{n,}dup
#62
langston-barrett
opened
1 year ago
0
analyze the library or single program without main function
#61
flyfish101
closed
1 year ago
2
Update cclyzer++ to v0.5.0
#60
langston-barrett
closed
1 year ago
0
SIGKILL while build process
#59
drJabber
opened
1 year ago
2
Issues compiling bitcode for redis
#58
thinkmoore
opened
1 year ago
2
Fix incorrect expected result for `test_poi_use_after_free_ntu`
#57
thinkmoore
closed
1 year ago
0
`test_poi_use_after_free` fails
#56
langston-barrett
closed
1 year ago
2
Update cclyzer++ to v0.3
#55
langston-barrett
closed
1 year ago
7
CVE-2007-4559 Patch
#54
TrellixVulnTeam
opened
1 year ago
0
Make UAF POI consider uses of all allocation subregions
#53
thinkmoore
closed
2 years ago
1
UAF POI doesn't count uses of subregions
#52
shinmao
closed
2 years ago
6
doc: Don't execute notebooks
#51
langston-barrett
closed
2 years ago
0
doc: Include comparison to other tools
#50
langston-barrett
closed
2 years ago
0
doc: Pull in CPG tutorial notebook as ReST
#49
langston-barrett
closed
2 years ago
0
doc: Link to/embed videos
#48
langston-barrett
closed
2 years ago
0
doc: List CHESS contributors
#47
langston-barrett
closed
2 years ago
0
.env: Make GHCR the default Docker registry
#46
langston-barrett
closed
2 years ago
0
Doc: List contributors
#45
langston-barrett
closed
2 years ago
1
CI: Linting and formatting
#44
langston-barrett
opened
2 years ago
0
DWARF nodes: APIs for common type derivations
#43
langston-barrett
opened
2 years ago
0
Manticore UI: Link to DSL docs
#42
langston-barrett
opened
2 years ago
0
doc: Deployment security considerations
#41
langston-barrett
opened
2 years ago
1
UI: Show help text when there are no compilations/builds/etc.
#40
langston-barrett
opened
2 years ago
0
Manticore UI: Link bug reports to source locations
#39
langston-barrett
opened
2 years ago
0
doc: Make notebook tutorial into a Jupyter notebook
#38
langston-barrett
opened
2 years ago
5
doc: Attach video to Flowfinder tutorial
#37
langston-barrett
closed
2 years ago
0
doc: Notebook tutorial
#36
langston-barrett
closed
2 years ago
0
Intermittent CI failure: `cannot import name 'config' from 'manticore.utils'`
#35
langston-barrett
opened
2 years ago
0
doc: Add Flowfinder tutorial
#34
langston-barrett
closed
2 years ago
0
doc/quickstart: Document pulling images from GHCR
#33
langston-barrett
closed
2 years ago
0
shake: Update copyright year
#32
langston-barrett
closed
2 years ago
0
Fix default container registry in .env
#31
langston-barrett
closed
2 years ago
1
Makefile: rm
#30
langston-barrett
closed
2 years ago
0
doc: Link to source code and documentation
#29
langston-barrett
closed
2 years ago
0
Doc: Link to blog post
#28
langston-barrett
closed
2 years ago
0
Doc: Outdated screenshots, buttons in Flowfinder docs
#27
langston-barrett
opened
2 years ago
0
Doc: Add Flowfinder tutorial
#26
langston-barrett
closed
2 years ago
0
Doc: Document pulling Docker images from GHCR
#25
langston-barrett
closed
2 years ago
0
Manticore UI: Indicate states that terminated in an error
#24
langston-barrett
opened
2 years ago
0
Doc: Node and edge IDs are not UUIDs
#23
langston-barrett
opened
2 years ago
0
Tests: Reinstate `example_1.c`
#22
langston-barrett
opened
2 years ago
1
Manticore UI: Checkboxes to enable additional Mantiserve detectors
#21
langston-barrett
opened
2 years ago
0
Flowfinder: Group aliased memory locations
#20
langston-barrett
opened
2 years ago
0
REST API: Status endpoint
#19
langston-barrett
opened
2 years ago
0
Flowfinder: Toggle for constant nodes
#18
langston-barrett
opened
2 years ago
0
Flowfinder: Show incoming/outgoing edges by kind
#17
langston-barrett
opened
2 years ago
0
Next