TAJS
TAJS copied to clipboard
cs-au-dk
Type Analyzer for JavaScript
Bumps [lodash](https://github.com/lodash/lodash) from 4.17.14 to 4.17.19. Release notes Sourced from lodash's releases. 4.17.16 Commits d7fbc52 Bump to v4.17.19 2e1c0f2 Add npm-package 1b6c282 Bump to v4.17.18 a370ac8 Bump to v4.17.17 1144918...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
When importing sources in Eclipse, I get two errors in CallDependencies, at lines 276 and 281: `The method transferReturn(dk.brics.tajs.flowgraph.AbstractNode, dk.brics.tajs.flowgraph.BasicBlock, ContextType extends dk.brics.tajs.solver.IContext, ContextType extends dk.brics.tajs.solver.IContext, ContextType extends dk.brics.tajs.solver.IContext, dk.brics.tajs.solver.CallKind)...
Known sources of unsoundness in the modeling of the core language and native library: - properties of 'arguments' should be shared with the formal parameters (currently only supported one way)...
error detail info: No support for default-case in non-last position at dk.brics.tajs.js2flowgraph.FunctionBuilder.process(Unknown Source) at dk.brics.tajs.js2flowgraph.FunctionBuilder.process(Unknown Source) at dk.brics.tajs.js2flowgraph.asttraversals.DispatchingParseTreeAuxVisitor.process(Unknown Source) why no support for default-case in non-last position ? ,What's wrong...
