issues
search
mojtaba-eshghie
/
HighGuard
The runtime monitoring tool for smart contracts high-level properties.
https://arxiv.org/abs/2305.08254
MIT License
5
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Monitoring properties that expand over multipe contracts;
#63
mojtaba-eshghie
opened
6 months ago
0
Runner reorganization
#62
mojtaba-eshghie
closed
6 months ago
0
Pulling minor changes from main
#61
mojtaba-eshghie
closed
6 months ago
0
#58
#60
mojtaba-eshghie
closed
6 months ago
0
Runner reorganization
#59
mojtaba-eshghie
closed
6 months ago
0
Plugin-based model conventions system
#58
mojtaba-eshghie
opened
6 months ago
1
Pulling minor commits from main to current under dev branch
#57
mojtaba-eshghie
closed
6 months ago
0
Runner reorganization
#56
mojtaba-eshghie
closed
6 months ago
0
Add more DCR Model information extraction utitility functions.
#55
mojtaba-eshghie
closed
6 months ago
1
Dcr integrated ci
#54
mojtaba-eshghie
closed
6 months ago
0
Specify the expected behavior of each test in ci-config.yml
#53
mojtaba-eshghie
closed
6 months ago
1
Further improving for #45. Added logger.js for logging; changed run.j…
#52
mojtaba-eshghie
closed
7 months ago
0
Updating util.js #45
#51
mojtaba-eshghie
closed
7 months ago
0
Updating the web3 utility functions as part of our library and comple…
#50
mojtaba-eshghie
closed
7 months ago
0
working towards #45, fully resolved #41
#49
mojtaba-eshghie
closed
7 months ago
0
Adding support for exploit integration tests based on Anvil for ease …
#48
mojtaba-eshghie
closed
7 months ago
0
Added support for capturing the output of the Anvil tool for #45 and #41
#47
mojtaba-eshghie
closed
7 months ago
0
Adding CI structure to the project
#46
mojtaba-eshghie
closed
7 months ago
0
Add in-depth support for a loop of continous monitoring/exploitation
#45
mojtaba-eshghie
opened
7 months ago
3
Add config.yml instead of long list of json input files for CLI tool
#44
mojtaba-eshghie
closed
2 months ago
1
Adding standalone evm transaction to dcr translator
#43
mojtaba-eshghie
closed
7 months ago
0
Evm to dcr
#42
mojtaba-eshghie
closed
7 months ago
0
Add support for automation via Foundry Anvil
#41
mojtaba-eshghie
closed
7 months ago
1
#31
#40
mojtaba-eshghie
closed
7 months ago
0
Calling a payable function with a certain value
#39
mojtaba-eshghie
opened
7 months ago
0
Adding 3 vulnerabilities related to three monitored properties
#38
mojtaba-eshghie
closed
7 months ago
1
The start of a monitor should automatically call constructor
#37
mojtaba-eshghie
opened
7 months ago
1
Enhance the documentation
#36
mojtaba-eshghie
opened
7 months ago
0
Dev
#35
mojtaba-eshghie
closed
7 months ago
0
WebSocket request to an EVM node fails with "Frame size of X bytes exceeds maximum accepted frame size"
#34
mojtaba-eshghie
closed
7 months ago
1
Conversion between blockchain-based time to DCR time semantics
#33
mojtaba-eshghie
closed
7 months ago
0
New parameter for the CLI tool
#32
mojtaba-eshghie
closed
7 months ago
1
Update RBAC after each `roleSetter` function event is received and it is executed successfully
#31
mojtaba-eshghie
opened
8 months ago
2
Implement CLI tool for automatic monitor creation and running.
#30
mojtaba-eshghie
closed
8 months ago
0
Implement client-side ability to chose between multiple contracts in the contract json interface
#29
mojtaba-eshghie
closed
2 months ago
1
Current limitations?
#28
mojtaba-eshghie
opened
8 months ago
0
Add a utility function for parsing and extracting the roles from the DCR model
#27
mojtaba-eshghie
closed
8 months ago
0
Automatic monitor runner
#26
mojtaba-eshghie
closed
2 months ago
1
Run through new block transactions instead of subscribing to events
#25
mojtaba-eshghie
closed
1 year ago
0
Read configs (tokens) from database
#24
mojtaba-eshghie
closed
2 months ago
0
doc: fix Markdown type
#23
monperrus
closed
1 year ago
0
Root cause analysis with DCR graphs
#22
mojtaba-eshghie
closed
2 months ago
1
Make the system extensible with new properties added
#21
mojtaba-eshghie
opened
1 year ago
1
The way dcrgraphs username and password are stored in the database is very unsafe!
#20
mojtaba-eshghie
opened
1 year ago
1
Removing gitignore file itself
#19
mojtaba-eshghie
closed
1 year ago
0
getting rid of .ds_store file
#18
mojtaba-eshghie
closed
1 year ago
0
Excluding some poluting folders and files
#17
mojtaba-eshghie
closed
1 year ago
0
Pushing the empty directoy datastore
#16
mojtaba-eshghie
closed
1 year ago
0
Removing unecessary comments
#15
mojtaba-eshghie
closed
1 year ago
1
fix #6 : server-side command-line authorization is added / db is work…
#14
mojtaba-eshghie
closed
1 year ago
1
Previous
Next