1,433 questions
0
votes
2
answers
50
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
1
vote
2
answers
125
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
1
vote
1
answer
97
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
0
votes
0
answers
63
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
0
votes
2
answers
83
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
0
votes
1
answer
91
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
1
vote
1
answer
118
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
-1
votes
1
answer
175
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
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, ...
0
votes
2
answers
68
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 ...
2
votes
1
answer
94
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 ...
0
votes
1
answer
180
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 ...
1
vote
1
answer
539
views
BPMN to Petri nets converter or any other tool for verification
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 ...
- 825
0
votes
1
answer
603
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
1
vote
1
answer
719
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
votes
1
answer
261
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
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
-1
votes
1
answer
112
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 ...
1
vote
0
answers
127
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
0
votes
1
answer
89
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
0
votes
1
answer
709
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 ...
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
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?
0
votes
1
answer
280
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
0
votes
2
answers
172
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