Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Time out when a request takes too long to answer. #3

Open
sirius94 opened this issue Dec 1, 2016 · 0 comments
Open

Time out when a request takes too long to answer. #3

sirius94 opened this issue Dec 1, 2016 · 0 comments
Assignees
Milestone

Comments

@sirius94
Copy link
Owner

sirius94 commented Dec 1, 2016

For the application to be secure, especially if it's used as a web application, the following limits must be enforced:

  • Limit the time or count of reduction steps which an evaluation may take.
  • Limit the length of the input.
@sirius94 sirius94 added this to the 2.0.0.0 milestone Dec 1, 2016
@sirius94 sirius94 self-assigned this Dec 1, 2016
sirius94 added a commit that referenced this issue Dec 1, 2016
* src/Main.hs (setPragma): Add ':maxSteps' directive.
  (evalLine): Limit trace.
* src/Reducer.hs (Context): Add 'evalStepLimit'.
  (limitSteps): New function.
* src/Reducer/Renderer.hs (RendererSpec, clRendererSpec,
  latexRendererSpec): Add 'timeout'.
  (rendererSteps): Add rule for Timeouts.
* src/Reducer/Step.hs (ReductionStep): Add 'Timeout'.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant