René's URL Explorer Experiment


Title: GitHub - allisterb/Silver: Static analyzer and formal verifier for Stratis smart contracts

Open Graph Title: GitHub - allisterb/Silver: Static analyzer and formal verifier for Stratis smart contracts

X Title: GitHub - allisterb/Silver: Static analyzer and formal verifier for Stratis smart contracts

Description: Static analyzer and formal verifier for Stratis smart contracts - allisterb/Silver

Open Graph Description: Static analyzer and formal verifier for Stratis smart contracts - allisterb/Silver

X Description: Static analyzer and formal verifier for Stratis smart contracts - allisterb/Silver

Opengraph URL: https://github.com/allisterb/Silver

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:668f9036-2b05-07e6-113d-8a8244997a57
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idA950:F709:218F6AB:2B43800:697E2B78
html-safe-nonce457f033cdbc835a4e02599e31ef5a072bf7944218f588f4e2b40fa93f1f65af3
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBOTUwOkY3MDk6MjE4RjZBQjoyQjQzODAwOjY5N0UyQjc4IiwidmlzaXRvcl9pZCI6Ijg5MzI5NzgzOTQ4MjAxMjc2MDgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacc2a89a8d3b95d23f6f2bc8c7712397cdb80e1cd9334b83968f0d60bd637a368a
hovercard-subject-tagrepository:444494031
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/allisterb/Silver
twitter:imagehttps://opengraph.githubassets.com/cb914a1757847743c72ff8be46fbd3d53be359d45404bc7e203d03d1264b2e58/allisterb/Silver
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/cb914a1757847743c72ff8be46fbd3d53be359d45404bc7e203d03d1264b2e58/allisterb/Silver
og:image:altStatic analyzer and formal verifier for Stratis smart contracts - allisterb/Silver
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None60279d4097367e16897439d16d6bbe4180663db828c666eeed2656988ffe59f6
turbo-cache-controlno-preview
go-importgithub.com/allisterb/Silver git https://github.com/allisterb/Silver.git
octolytics-dimension-user_id11426372
octolytics-dimension-user_loginallisterb
octolytics-dimension-repository_id444494031
octolytics-dimension-repository_nwoallisterb/Silver
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id444494031
octolytics-dimension-repository_network_root_nwoallisterb/Silver
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release7c85641c598ad130c74f7bcc27f58575cac69551
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/allisterb/Silver#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fallisterb%2FSilver
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fallisterb%2FSilver
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=allisterb%2FSilver
Reloadhttps://patch-diff.githubusercontent.com/allisterb/Silver
Reloadhttps://patch-diff.githubusercontent.com/allisterb/Silver
Reloadhttps://patch-diff.githubusercontent.com/allisterb/Silver
allisterb https://patch-diff.githubusercontent.com/allisterb
Silverhttps://patch-diff.githubusercontent.com/allisterb/Silver
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fallisterb%2FSilver
Fork 2 https://patch-diff.githubusercontent.com/login?return_to=%2Fallisterb%2FSilver
Star 7 https://patch-diff.githubusercontent.com/login?return_to=%2Fallisterb%2FSilver
MIT license https://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/LICENSE
7 stars https://patch-diff.githubusercontent.com/allisterb/Silver/stargazers
2 forks https://patch-diff.githubusercontent.com/allisterb/Silver/forks
Branches https://patch-diff.githubusercontent.com/allisterb/Silver/branches
Tags https://patch-diff.githubusercontent.com/allisterb/Silver/tags
Activity https://patch-diff.githubusercontent.com/allisterb/Silver/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2Fallisterb%2FSilver
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fallisterb%2FSilver
Code https://patch-diff.githubusercontent.com/allisterb/Silver
Issues 0 https://patch-diff.githubusercontent.com/allisterb/Silver/issues
Pull requests 0 https://patch-diff.githubusercontent.com/allisterb/Silver/pulls
Actions https://patch-diff.githubusercontent.com/allisterb/Silver/actions
Projects 0 https://patch-diff.githubusercontent.com/allisterb/Silver/projects
Wiki https://patch-diff.githubusercontent.com/allisterb/Silver/wiki
Security 0 https://patch-diff.githubusercontent.com/allisterb/Silver/security
Insights https://patch-diff.githubusercontent.com/allisterb/Silver/pulse
Code https://patch-diff.githubusercontent.com/allisterb/Silver
Issues https://patch-diff.githubusercontent.com/allisterb/Silver/issues
Pull requests https://patch-diff.githubusercontent.com/allisterb/Silver/pulls
Actions https://patch-diff.githubusercontent.com/allisterb/Silver/actions
Projects https://patch-diff.githubusercontent.com/allisterb/Silver/projects
Wiki https://patch-diff.githubusercontent.com/allisterb/Silver/wiki
Security https://patch-diff.githubusercontent.com/allisterb/Silver/security
Insights https://patch-diff.githubusercontent.com/allisterb/Silver/pulse
Brancheshttps://patch-diff.githubusercontent.com/allisterb/Silver/branches
Tagshttps://patch-diff.githubusercontent.com/allisterb/Silver/tags
https://patch-diff.githubusercontent.com/allisterb/Silver/branches
https://patch-diff.githubusercontent.com/allisterb/Silver/tags
377 Commitshttps://patch-diff.githubusercontent.com/allisterb/Silver/commits/master/
https://patch-diff.githubusercontent.com/allisterb/Silver/commits/master/
exampleshttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/examples
exampleshttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/examples
exthttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/ext
exthttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/ext
lib/net461https://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/lib/net461
lib/net461https://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/lib/net461
notebookshttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/notebooks
notebookshttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/notebooks
scriptshttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/scripts
scriptshttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/scripts
srchttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/src
srchttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/src
testshttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/tests
testshttps://patch-diff.githubusercontent.com/allisterb/Silver/tree/master/tests
.gitattributeshttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/.gitattributes
.gitattributeshttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/.gitattributes
.gitignorehttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/.gitignore
.gitmoduleshttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/.gitmodules
.gitmoduleshttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/.gitmodules
LICENSEhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/LICENSE
LICENSEhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/LICENSE
README.mdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/README.md
README.mdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/README.md
buildhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/build
buildhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/build
build.cmdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/build.cmd
build.cmdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/build.cmd
cleanhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/clean
cleanhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/clean
clean.cmdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/clean.cmd
clean.cmdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/clean.cmd
requirements.txthttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/requirements.txt
requirements.txthttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/requirements.txt
silverhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/silver
silverhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/silver
silver.cmdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/silver.cmd
silver.cmdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/silver.cmd
updatehttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/update
updatehttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/update
update.cmdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/update.cmd
update.cmdhttps://patch-diff.githubusercontent.com/allisterb/Silver/blob/master/update.cmd
READMEhttps://patch-diff.githubusercontent.com/allisterb/Silver
MIT licensehttps://patch-diff.githubusercontent.com/allisterb/Silver
https://patch-diff.githubusercontent.com/allisterb/Silver#silver
https://camo.githubusercontent.com/971b513fb5ab3def2ff8c2ce661f0bcf43bc1118bf3f4f07e5e6443a3c2305ab/68747470733a2f2f7374617469632e77696b69612e6e6f636f6f6b69652e6e65742f7a656c64615f67616d6570656469615f656e2f696d616765732f352f35612f426f74575f53696c7665725f536869656c645f4d6f64656c2e706e672f7265766973696f6e2f6c61746573742f7363616c652d746f2d77696474682d646f776e2f3333353f63623d323032313031313831363530333226666f726d61743d6f726967696e616c
https://www.nuget.org/packages/Silver.CodeAnalysis/
https://patch-diff.githubusercontent.com/allisterb/Silver#about
static analysishttps://en.wikipedia.org/wiki/Static_program_analysis
formal verificationhttps://en.wikipedia.org/wiki/Formal_verification
https://camo.githubusercontent.com/a69ca328a95ef8635334ca9fcfafeb663ffb3f461c17284c71abdbe820526168/68747470733a2f2f646d3233303166696c65732e73746f726167652e6c6976652e636f6d2f79346d74645245556b6a63474636674b44525a6a484450513173304e5535334c4c454e5258726e69324958624f654e626c545a347a37784d41544432776f59335264796f5a76746f30566c6e4b6a5738306536745549536a32594f3274344a6966514a646a30745249774b35594474355849754c53576f2d664262776c3669576346376a5147754a307a6c68766b375f7559666f666c7a6d4a537037453631325f4f364f354b524558337657545963454a4870474f346b594843367236333039764a783f77696474683d31343234266865696768743d313031352663726f706d6f64653d6e6f6e65
validatehttps://github.com/allisterb/Silver/blob/master/src/Silver.CodeAnalysis.Cs/Silver.CodeAnalysis.Cs/Validator.cs
ruleshttps://github.com/stratisproject/StratisFullNode/blob/master/Documentation/Features/SmartContracts/Clr-execution-and-validation.md
validation policieshttps://github.com/stratisproject/StratisFullNode/blob/master/src/Stratis.SmartContracts.CLR.Validation/DeterminismPolicy.cs
https://camo.githubusercontent.com/2352e7cb44b824ce3856f96e3a6adb162191e001233bed000059561472fccdeb/68747470733a2f2f646d3233303166696c65732e73746f726167652e6c6976652e636f6d2f79346d43723832456d45336f7670644c566a3958696878324f613154654c4444335345766e4e546c7643324a527773316b613158324730394b4b566b31586654786a61693441465a6c575a6a6872584e5430545964564c462d6f666d4271746d576d54583130594c4b5a63434f2d6c495877365576704f7331696b4f36725f62454d4847787078356833435838646b5471494c434e59597a39416c7034336448352d715f615175317251664c6b625a465764543369386b3668366c4f763849546a70533f77696474683d31393230266865696768743d3934352663726f706d6f64653d6e6f6e65
Analysis.Nethttps://github.com/edgardozoppi/analysis-net/tree/master
call-graphhttps://en.wikipedia.org/wiki/Call_graph
Address Mapperhttps://github.com/stratisproject/CirrusSmartContracts/tree/master/Mainnet/AddressMapper
https://camo.githubusercontent.com/4c9f7d4cdf52fa21c5da3909a995b68ca9e2d7bdef057870fa1b41b98a790d09/68747470733a2f2f646d3233303166696c65732e73746f726167652e6c6976652e636f6d2f79346d4c7539794134715342755341547a6f4a715851744b66614a434d73447831316475426d71766d74355a444d6776584d4a687650564975727139686172345f564332767a6135474b59575859684f52654259505733672d7853316944576d5969456a45714c66787a535a4d7a726658545335316f444f456d6c306f5433595f4d754c384f4c633842766d3856575671546f693337447872584254426979665277525530396b35376c454b38726942665f4f764a47786469564e57776c2d6c4838343f77696474683d31393136266865696768743d313032332663726f706d6f64653d6e6f6e65
output graphshttps://github.com/allisterb/Silver/tree/master/src/Silver.Drawing
https://camo.githubusercontent.com/07300ebc1a69d661e860a1e7f39bc47c8d518d251d56588756d27746fe4d9d41/68747470733a2f2f646d3233303166696c65732e73746f726167652e6c6976652e636f6d2f79346d526b4f3777694e6c615561704469557862575f684c774e585772584f6868794533665453484c6f656c6e6144334749764b4d5255763937636c50696979575f5f4e666f6241417a534e754e55543446726b3373496c754365397568636473327641307a306e564d4f5964324336787a366358636e42776f306733596259482d43433853784c44644752685a48474f5554647875596d707470584d6f6a77634a51635f6667474a50676675724d7571463341547554534f3335396a336f2d33394d3f77696474683d32303030266865696768743d3631322663726f706d6f64653d6e6f6e65
https://camo.githubusercontent.com/f4a96db5e491e2c0af1ecd3270097938e80d7205d0f522ebbed218f6c240f23f/68747470733a2f2f646d3233303166696c65732e73746f726167652e6c6976652e636f6d2f79346d4f686437697378376452584f7375596a615a6b316f38386d6b537637736a71567a754779546468475261396d59484c42327a69515158626b79452d7064763549347a71675946676f584f67765a5938385942414f7673374934314937374b42316c775f39725a392d5a53784842574f75746942555a44594d474c6e6d476d615a4a59477639617a4a443349397630475441524a49497973414434554a716f465a725155527958666d4530485a5849316b535a494f74484179392d48374a74457a3f77696474683d31393034266865696768743d3934362663726f706d6f64653d6e6f6e65
https://camo.githubusercontent.com/f44762e4aee67c74a04e1c1236d3b4fe66ef87e70fe066407cf9bb56874212c1/68747470733a2f2f646d3233303166696c65732e73746f726167652e6c6976652e636f6d2f79346d316250494e302d48427250766d742d417136324b2d6d337a6c5551577332387a6d4a717443734252624c6d347354764b38736252325a312d394245466832344c4b443157454a706e3167363774474a765036336269366e6731566c6f4842464d6e595864544b366365717243506e4d3031745f435446444547764c6b4f4a636f64586b6d70574a5663535a68654c614a682d3658346f55564b424a3938647951596478683468776f4d4b357675316d746a42645255507358736657305f3738733f77696474683d383630266865696768743d3437352663726f706d6f64653d6e6f6e65
wikihttps://github.com/allisterb/Silver/wiki
https://patch-diff.githubusercontent.com/allisterb/Silver#building
https://patch-diff.githubusercontent.com/allisterb/Silver#requirements
NET 6.0https://dotnet.microsoft.com/en-us/download/dotnet/6.0
https://patch-diff.githubusercontent.com/allisterb/Silver#known-issues
https://patch-diff.githubusercontent.com/allisterb/Silver#steps
https://patch-diff.githubusercontent.com/allisterb/Silver#usage
dotnet https://patch-diff.githubusercontent.com/topics/dotnet
static-analysis https://patch-diff.githubusercontent.com/topics/static-analysis
smart-contracts https://patch-diff.githubusercontent.com/topics/smart-contracts
blockchain https://patch-diff.githubusercontent.com/topics/blockchain
formal-verification https://patch-diff.githubusercontent.com/topics/formal-verification
stratis https://patch-diff.githubusercontent.com/topics/stratis
Readme https://patch-diff.githubusercontent.com/allisterb/Silver#readme-ov-file
MIT license https://patch-diff.githubusercontent.com/allisterb/Silver#MIT-1-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/allisterb/Silver
Activityhttps://patch-diff.githubusercontent.com/allisterb/Silver/activity
7 starshttps://patch-diff.githubusercontent.com/allisterb/Silver/stargazers
1 watchinghttps://patch-diff.githubusercontent.com/allisterb/Silver/watchers
2 forkshttps://patch-diff.githubusercontent.com/allisterb/Silver/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fallisterb%2FSilver&report=allisterb+%28user%29
Releases 5https://patch-diff.githubusercontent.com/allisterb/Silver/releases
v0.1.5 Latest Mar 3, 2022 https://patch-diff.githubusercontent.com/allisterb/Silver/releases/tag/v0.1.5
+ 4 releaseshttps://patch-diff.githubusercontent.com/allisterb/Silver/releases
Packages 0https://patch-diff.githubusercontent.com/users/allisterb/packages?repo_name=Silver
Please reload this pagehttps://patch-diff.githubusercontent.com/allisterb/Silver
Contributors 2https://patch-diff.githubusercontent.com/allisterb/Silver/graphs/contributors
Please reload this pagehttps://patch-diff.githubusercontent.com/allisterb/Silver
Jupyter Notebook 52.0% https://patch-diff.githubusercontent.com/allisterb/Silver/search?l=jupyter-notebook
C# 44.5% https://patch-diff.githubusercontent.com/allisterb/Silver/search?l=c%23
PowerShell 2.3% https://patch-diff.githubusercontent.com/allisterb/Silver/search?l=powershell
HTML 0.5% https://patch-diff.githubusercontent.com/allisterb/Silver/search?l=html
JavaScript 0.4% https://patch-diff.githubusercontent.com/allisterb/Silver/search?l=javascript
Batchfile 0.2% https://patch-diff.githubusercontent.com/allisterb/Silver/search?l=batchfile
Shell 0.1% https://patch-diff.githubusercontent.com/allisterb/Silver/search?l=shell
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.