blockhash, type defs in test file & module import

remix-analyzer/src/solidity-analyzer/modules/index.ts

+export { default as txOrigin } from './txOrigin'
+export { default as gasCosts } from './gasCosts'
+export { default as thisLocal } from './thisLocal'
+export { default as checksEffectsInteraction } from './checksEffectsInteraction'
+export { default as constantFunctions } from './constantFunctions'
+export { default as similarVariableNames } from './similarVariableNames'
+export { default as inlineAssembly } from './inlineAssembly'
+export { default as blockTimestamp } from './blockTimestamp'
+export { default as lowLevelCalls } from './lowLevelCalls'
+export { default as blockBlockhash } from './blockBlockhash'
+export { default as noReturn } from './noReturn'
+export { default as selfdestruct } from './selfdestruct'
+export { default as guardConditions } from './guardConditions'
+export { default as deleteDynamicArrays } from './deleteDynamicArrays'
+export { default as assignAndCompare } from './assignAndCompare'
+export { default as erc20Decimals } from './erc20Decimals'
+export { default as stringBytesLength } from './stringBytesLength'
+export { default as intDivisionTruncate } from './intDivisionTruncate'
+export { default as etherTransferInLoop } from './etherTransferInLoop'
+export { default as deleteFromDynamicArray } from './deleteFromDynamicArray'
+export { default as forLoopIteratesOverDynamicArray } from './forLoopIteratesOverDynamicArray'
\ No newline at end of file

remix-analyzer/src/solidity-analyzer/modules/staticAnalysisCommon.ts

@@ -132,7 +132,7 @@ const specialVariables: Record<string, SpecialObjDetail> = {
   BLOCKHASH: {
     obj: 'block',
     member: 'blockhash',
-    type: buildFunctionSignature([basicTypes.UINT], [basicTypes.BYTES32], false)
+    type: buildFunctionSignature([basicTypes.UINT], [basicTypes.BYTES32], false, 'view')
   }
 }
 
@@ -808,7 +808,8 @@ function isBlockTimestampAccess (node: MemberAccessAstNode): boolean {
  * @return {bool}
  */
 function isBlockBlockHashAccess (node: FunctionCallAstNode): boolean {
-  return isBuiltinFunctionCall(node) && getLocalCallName(node) === 'blockhash'
+  return ( isBuiltinFunctionCall(node) && getLocalCallName(node) === 'blockhash' ) || 
+      isSpecialVariableAccess(node.expression, specialVariables.BLOCKHASH)
 }
 
 /**