A software developer wishes to write code that will execute safely and only as intended. Which of the following programming language types is MOST likely to achieve this goal?
Statically-typed programming languages do type checking (i.e., the process of verifying and enforcing the constraints of types on values) at compile-time, whereas dynamically-typed languages do type checks at runtime.
Weakly-typed languages make conversions between unrelated types implicitly; whereas, strongly-typed languages don’t allow implicit conversions between unrelated types.
According to CISSP, the most likely programming language type to achieve the goal of executing safely and only as intended is a strongly typed language. Strongly typed languages require explicit declarations of variables and enforce strict rules for how variables can be used, making it more difficult for developers to make errors that could compromise the security of the code. In contrast, weakly typed languages have more flexible rules for variable declarations and use, making it easier for developers to make mistakes that could compromise the security of the code. Dynamically typed languages are similar to weakly typed languages in that they do not require explicit declarations of variables, but they also allow variables to change type during execution, which can increase the risk of security vulnerabilities. Statically typed languages are similar to strongly typed languages in that they require explicit declarations of variables and enforce strict rules for how variables can be used, but they also perform type checking at compile time rather than runtime, which can help to identify and fix potential security issues before the code is deployed.
C. Strongly typed
Strongly typed programming languages enforce strict type checking and do not allow implicit type conversion, which can help prevent unintended behavior and make the code more robust and safe.
The concept of strongly typed programming languages as a means to achieve safe and intended code execution is a fundamental concept in computer science and software development, and it is widely accepted and taught in various resources, including official study guides and CBKs for the CISSP certification.
Dynamic type
checking checks the values stored in a program’s variables as it is running to ensure data
matches the expected type. Languages that implement these features are known as typesafe, and they support important security goals related to integrity of data
A voting comment increases the vote count for the chosen answer by one.
Upvoting a comment with a selected answer will also increase the vote count towards that answer by one.
So if you see a comment that you already agree with, you can upvote it instead of posting a new comment.
Rollizo
Highly Voted 2 years, 1 month agojackdryan
1 year, 6 months agoRollizo
2 years, 1 month agopingundas
2 years, 1 month agopingundas
2 years agoDJOEK
Highly Voted 1 year, 10 months agoSoleandheel
Most Recent 11 months, 2 weeks ago74gjd_37
1 year, 2 months agogeorgegeorge125487
1 year, 3 months agoFiredragon
2 years agoataaf
2 years, 1 month agoBDSec
2 years, 2 months agoYanjun
2 years, 2 months agoNickolos
2 years, 2 months ago