1,433 questions
0
votes
2
answers
57
views
How to restrict authenticated user from updating other users' info?
I'm using Strapi 5 with the default users-permissions plugin.
I currently have a route that allows authenticated users to update user information:
PUT /api/users/{id}
Authorization: Bearer <token&...
- 2,527
0
votes
0
answers
102
views
Missing Device Lock Verification
Missing_Device_Lock_Verification - CHECKMARX
Getting this at checkmarx for a getter method declared in the model.
Query Path ---> java/Java_Android/Missing_Device_Lock_Verification
locatin---> ...
1
vote
2
answers
132
views
Django email verification - unable to create new user using previously un-verified email address
I have email verification set up for when a new user account is created on my Django project, and until they verify their email the is_active flag on their account is set to False; once they verify ...
- 23
0
votes
0
answers
61
views
How to verify a Chrome Extension that uses Google Calendar API without owning a domain?
I'm developing a Chrome Extension (non-commercial, open-source) that extracts information from Gmail messages and creates Google Calendar events.
To avoid the “This app is unverified” warning, I'm ...
- 13
1
vote
1
answer
99
views
Should UVM testbench work with pre-synthesis or post-synthesis FPGA code? [closed]
I’m working on an FPGA project and planning to use UVM (Universal Verification Methodology) for verification. I’m confused about the timing of when to apply UVM in the design flow.
Should I develop my ...
- 139
-2
votes
2
answers
137
views
How to prevent temporary email and mobile number used by users? [duplicate]
In a membership website users are required to verify their mobile and email by one-time password while registering. There are some third-party websites and apps that provide temporary email id and ...
- 13
0
votes
0
answers
69
views
Flutter web app requesting Google Calendar scope, and Google Cloud verified, but still shows unverified in web
I have a Flutter web and android app using google calendar api, create/edit/delete a calendar for the app's own use. I use googleapis package, and chose "calendarScope" to access google ...
- 41
-2
votes
1
answer
38
views
Is there a way to have a gatling check pass if values do not differ by more than 1.00?
I need to modify the code below so the check() will pass, even if values are not exact as long as abs(val1 -val2) < 1.00
.check(
jsonPath("$.data.attributes.contentValue")
.is(...
- 21
0
votes
2
answers
89
views
How to prove a modification of an array's item was successful?
I am verifying a matrix multiplication procedure:
Here is my code:
predicate abvalid(a:array<array<int>>, b:array<array<int>>)
reads a, b
{
a.Length > 0
&& b....
- 1
1
vote
0
answers
34
views
Neural network XOR problem converging to 0.5
I'm working on coding up a neural network from scratch into js, and have implemented the following:
class Network{
constructor(layerSizes, activation){
this.activation = activation[0]
this....
- 146
0
votes
1
answer
93
views
`define value assignment to a string
I am writing some SV code. I have 'define value which I want from terminal with +define for following `define ENV_TOP. the value should go in the config_db block as I am retrieving the value for ...
- 11
0
votes
0
answers
95
views
С sorting function code verification with FramaC AstraVer
I'm trying to make full code verification for cycle sort function on C. With ASCL annotations we need to "proof" that code is valid. Result is structured in Why3 GUI. I need to cover all ...
- 150
1
vote
1
answer
120
views
How to initialize the queue of queue?
I defined following data structures:
typedef int profile_lru_q_t[PROFILE_NUM];
typedef profile_lru_q_t vc_lru_queue[$];
vc_lru_queue vc_lru_queue_inst;
It's a ...
- 21
0
votes
1
answer
65
views
Issues with converting 2D matrix indices to 1D array index
I am trying to write a Dafny function that converts 2D matrix indices to a 1D array index. Below contains my current code.
The issue I face is that Dafny's verification times out after 20 seconds.
Is ...
-1
votes
1
answer
176
views
Play Store Verification Rejection [closed]
We are facing an issue with Play Store Profile verification and would appreciate any guidance on how to resolve it.
Background:
Initially, our account was created as an individual account.
We later ...
- 21
1
vote
1
answer
69
views
Django AJAX: Passing form CSFR verification without proper token attachment. Why?
I have a small Django 5.1.1 project, in which I use an AJAX request to submit form data. I'm using {% csrf_token %} and have the setup for attaching the form csrfToken to the xhr header.
Problem: The ...
- 45
0
votes
1
answer
72
views
Verify sequence of map modifications in dafny
I'm writing a function in dafny to verify a series of updates in a map in an iterative method, however, dafny cannot prove those changes in the map.
This is the code:
function updateMap(t: (bool, ...
1
vote
1
answer
1k
views
How to Handle Google Play Developer Account Restriction Due to Identity Verification Issues?
Hello Developers,
I'm facing an issue with my Google Play Developer account being restricted due to identity verification problems. Here's a summary of the situation:
I received a notification from ...
- 21
0
votes
2
answers
76
views
Conflicting JVM specs between what can be verified run and what is debuggable wrt local variables?
On one hand the Java class spec says:
There may be no more than one LocalVariableTable attribute per local variable in the attributes table of a Code attribute.
But on the other hand lots of ...
0
votes
1
answer
961
views
debsig-verify fails with `gpg: [don't know]: invalid packet (ctb=2d)` [closed]
Problem:
debsig-verify verification fails with no (or unhelpful) information about what is wrong. The specific output that isn't really telling me what's wrong is:
gpg: [don't know]: invalid packet (...
- 303
2
votes
1
answer
95
views
WP Plugin: Why does the following simplified code fail to verify
I am a new Frama-C User and I am trying to prove certain properties for a large project. I was seeing a particular proof fail, and tried reducing the problem to a minimum reproducible example, and the ...
1
vote
1
answer
71
views
Confused About Middleware in Node.js Express [duplicate]
I'm learning Express.js and I'm a bit confused about the difference between middleware functions and route handlers. I understand that middleware functions usually have the next argument, but I'm not ...
- 23
0
votes
1
answer
181
views
django : CSRF verification failed. Request aborted. (tutorial2)
There is an error when logging in from the Django admin page.
I'm working on tutorial02, and I've tried various things and found related documents, so there's no change.
Please understand that the ...
0
votes
1
answer
76
views
Using hash in PhP
I am trying to write verification code in PhP following these steps...
The verification code is calculated by:
Verification code = integer(SHA256(the hash)[-2:-1]) mod 10000
Calculate SHA256 from the ...
- 3
1
vote
1
answer
563
views
BPMN to Petri nets converter or any other tool for verification [closed]
My goal is to transfer a BPMN model to any workflow tool that will allow me to verify it. I learned about Petri nets, so I want to be able to transform an XML file I obtained after creating a BPMN ...
- 815
0
votes
2
answers
57
views
Locate specific text for an element when specific text is partially variable (selenium Java)
For following element I need to locate the counts for Requeues, App Exits and Greets Started.
Further I will need to verify the counts for for each events.
<div _ngcontent-ome-c213="" ...
- 1
0
votes
1
answer
611
views
UVM enforce clocking block usage
I want to use the following SystemVerilog concepts:
clocking block: to avoid race conditions between driver and monitor, i want to have it in a central place, in the interface
modport: normally (e.g. ...
- 632
0
votes
2
answers
152
views
keep has_each for a list in Specman
I am trying to create a keep with this functionality:
extend sys {
ListA : list of uint;
keep ListA.size() == 3; // For the example
keep for each in ListA { // For the example
it &...
- 1
1
vote
1
answer
725
views
UVM agents - single/multiple?
I want to test a receiver with the following ports:
Details about the arrows in the diagram above:
Control/Status Registers:
16x32bit input signals (16 control registers)
16x32bit output signals (...
- 632
1
vote
2
answers
951
views
Meta for developers - Verification code too short
I'm busy going through the process of registering as a developer on Meta to try build out a service application but on the verification screen I'm receiving an SMS that is 5 digits long and the submit ...
- 170
-1
votes
1
answer
262
views
UVM RAL: NULL pointer is dereference
I am a beginner in using UVM RAL. I am trying to access by DUT Registers using UVM_BACKDOOR. I think this should not require an adapter and a predictor. I maybe wrong thinking so.
Below is my code ...
- 51
0
votes
1
answer
112
views
Check if a path exist in React Native [closed]
I would like to check if files or folder exist in my current project.
I have try using react-native-fs but this not take the files in the project but on the phone.
So for exemple, i would like to get ...
- 55
0
votes
1
answer
118
views
how to use python to split a logical statement and verify it one by one? [duplicate]
For example, there is a given string
( a > b or a > c) and a < d
in python.
I want to at first extract expression and logical operator from this statement,
then check it one by one, such as
...
- 1
0
votes
1
answer
335
views
How to generate a .dat file for verilator_coverage?
I've started to familiarize myself with cocotb and I'm having trouble.
I wrote a simple test like this:
@cocotb.test()
async def add_test(dut):
dut._log.info("Running add test!")
c = ...
- 33
-1
votes
1
answer
119
views
delay-google-cloud-console-app-verification for 2 weeks without feedback
i had create on google cloud console app that require access to google calendar and google sheet . google drive
i had submit my app for verification , now pass about 2 weeks without any feedback from ...
0
votes
1
answer
211
views
Dafny linked queue implementation
I'm following Leino's paper "Specification and verification of OO software" and trying to implement the queue example. I'm unable to resolve an (syntax?) error that comes while defining the ...
1
vote
0
answers
130
views
Google ID Token verification fails in PHP, but works with tokeninfo endpoint
I'm encountering an issue verifying a Google ID token using the PHP API. The tokeninfo endpoint successfully verifies it, but $client->verifyIdToken($id_token) returns false in my PHP code. I have ...
- 11
1
vote
2
answers
271
views
Verify email in Laravel 9
I want to do email verification. Actually, it succeeded, but only to the email in the .env file. Why didn't other users receive the email verification link?
Model
class User extends Authenticatable ...
- 21
0
votes
1
answer
93
views
Verifying the authenticity of the domain that sent the request
How can I 100% verify the domain from which I received a request or connection via WebSocket?
Ideally, this should take no more than a second.
It should not be susceptible to spoofing like the Host or ...
- 21
1
vote
1
answer
3k
views
How verification of a "google sign-in" JWT works
I am trying to understand how the JWT sent from Google to the client when using the sign in with Google feature, can be verified on my server for authentication.
I would like to authenticate a user ...
- 11
0
votes
1
answer
713
views
React Native ID Card Verification scanner
Is there a free library available for implementing an ID card verification scanner in React Native? This is similar to the functionality where users register in an app and need to validate their ...
4
votes
0
answers
2k
views
How to verify UPI address is valid or not? Is there any free APIs? I want to check if the entered UPI address is existing or not
Verification of UPI address using API.
I tried razorpay with this API: "https://api.razorpay.com/v1/payments/validate/vpa" but got response as:
{"error":{"code":"...
- 51
1
vote
1
answer
1k
views
Error when I want to disable ssl certificate verification in axios in react project
I installed TLS on a server on the Azure side and I cannot log in to the react project due to TLS. I get the net::ERR_CERT_AUTHORITY_INVALID error in the console. Therefore, I add the following code ...
- 117
1
vote
2
answers
265
views
How does a covergroup handle with an event handle sampling when enabling strobe?
I am curious as to how the sampling happens in a SystemVerilog covergroup when we have an event specified and we also use type_option.strobe = 1 for said covergroup. For example:
covergroup c @(...
4
votes
1
answer
4k
views
Gitlab : Not receive OTP for verify phone number when registering
I’m not receiving any SMS OTP for verifying my phone number when registering for gitlab account. Any solution?
1
vote
1
answer
194
views
Generating random value for 255 wire bus
I wanted to verify connectivity (using SystemVerilog) of a 255-wire bus from source to destination. To this effect, I wanted to drive random values on the source bus and ensure the corresponding ...
- 33
0
votes
1
answer
281
views
Error 69 82 when doing APDU verify instruction with biometric
I want to implemente match on card verification on my device.
The first two steps (parameter with Threshold and Rotation ) proceed successfully with a 9000 response, but during the verification step, ...
- 39
3
votes
2
answers
814
views
How to assert/verify/match a Kotlin data class structure in a declarative way
Let's say I have a following data structure in Kotlin (simplified from the actual need):
data class RootClass(
val a: String,
val nestedContent: MiddleClass,
) : Result
data class MiddleClass(...
- 11.8k
0
votes
2
answers
181
views
Find highest index with value non zero in dafny
In Dafny I want to find the highest index in an int array where the value is != 0
The method requires that such a value exists
I tried this but can't figure out how it can't provy any of the ensures ...
- 199
0
votes
1
answer
89
views
Comparing huge data from two different sides [duplicate]
I have 2 different data storages which have same data stored in them. I want to check if both of them are similar. The type of data is
const object1 = {
"name": "John",
"...
